Correia, E., B. Barbosa, L. Vieira, R. Jesuíno, M. Filho, e P. H. M. 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, vol. 15, nº 1, agosto de 2017, doi:10.5753/reic.2017.1030.