Barbosa, Davi, Paulo Henrique Mendes Maia, and Evilásio Costa Júnior. "Lotus@Runtime: Uma Ferramenta para Monitoramento e Verificação em Tempo de Execução para Sistemas Autoadaptativos." Anais do VIII Simpósio Brasileiro de Computação Ubíqua e Pervasiva, Porto Alegre, 2016. SBC, 2016, pp.1046-1055.