Barbosa, Davi, 		Maia, Paulo Henrique, E 		Costa Júnior, Evilásio.
" Lotus@Runtime: Uma Ferramenta para Monitoramento e Verificação em Tempo de Execução para Sistemas Autoadaptativos" <em>Anais do Simpósio Brasileiro de Computação Ubíqua e Pervasiva (SBCUP)</em> [Online], (4 julho 2016)