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 (ago. 2017). DOI:https://doi.org/10.5753/reic.2017.1030.