Correia, E., Barbosa, B., Vieira, L., Jesuíno, R., Filho, M. e 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). doi: 10.5753/reic.2017.1030.