Correia, E.; Barbosa, B.; Vieira, L.; Jesuíno, R.; Filho, M.; Maia, P. H. M. LoTuS: Uma Ferramenta Gráfica Extensível Para Modelagem, Análise E Verificação De Modelos LTS E PLTS. REIC 2017, 15.