Barbosa, D., Maia, P., & Costa Júnior, E. (2016). Lotus@Runtime: Uma Ferramenta para Monitoramento e Verificação em Tempo de Execução para Sistemas Autoadaptativos. In Anais do VIII Simpósio Brasileiro de Computação Ubíqua e Pervasiva, (pp. 1046-1055). Porto Alegre: SBC. doi:10.5753/sbcup.2016.9453