Correia, E., Barbosa, B., Vieira, L., Jesuíno, R., Filho, M., & Maia, P. H. M. (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