publicações selecionadas artigo de conferência Reliable Software Design Aided by QEMU Simulation 2021 teses Monitorização de variáveis em culturas agrícolas 2015