Correia, Emerson, Bruno Barbosa, Lucas Vieira, Ranniery Jesuíno, Messias Filho, e Paulo Henrique Mendes Maia. 2017. “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 (1). https://doi.org/10.5753/reic.2017.1030.