E. Correia, 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”, REIC, vol. 15, nº 1, ago. 2017.