D. Barbosa, P. Maia, and E. Costa Júnior.
" 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>, Porto Alegre, 2016, pp. 1046-1055, doi: <a href="https://doi.org/10.5753/sbcup.2016.9453">https://doi.org/10.5753/sbcup.2016.9453</a>.