Barbosa, D., 		Maia, P., & 		Costa Júnior, E.
2016 jul  4.  Lotus@Runtime: Uma Ferramenta para Monitoramento e Verificação em Tempo de Execução para Sistemas Autoadaptativos. Anais do Simpósio Brasileiro de Computação Ubíqua e Pervasiva (SBCUP). [Online] :