Correia, Emerson, Bruno Barbosa, Lucas Vieira, Ranniery Jesuíno, Messias Filho, e Paulo Henrique Mendes Maia. “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 15, no. 1 (agosto 30, 2017). Acessado abril 29, 2024. https://sol.sbc.org.br/journals/index.php/reic/article/view/1030.