Davi Barbosa, Paulo Henrique Maia, and Evilásio Costa Júnior. 2016.
 Lotus@Runtime: Uma Ferramenta para Monitoramento e Verificação em Tempo de Execução para Sistemas Autoadaptativos. In <em>Anais do VIII Simpósio Brasileiro de Computação Ubíqua e Pervasiva</em>, julho 04, 2016, Porto Alegre, Brasil. SBC, Porto Alegre, Brasil, 1046-1055. DOI: <a href="https://doi.org/10.5753/sbcup.2016.9453">https://doi.org/10.5753/sbcup.2016.9453</a>.