CORREIA, E.; BARBOSA, B.; VIEIRA, L.; JESUÍNO, R.; FILHO, M.; MAIA, P. H. M. LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS. Revista Eletrônica de Iniciação Científica em Computação, [S. l.], v. 15, n. 1, 2017. DOI: 10.5753/reic.2017.1030. Disponível em: https://sol.sbc.org.br/journals/index.php/reic/article/view/1030. Acesso em: 29 abr. 2024.