Correia E, Barbosa B, Vieira L, Jesuíno R, Filho M, Maia PHM. LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS. REIC [Internet]. 30º de agosto de 2017 [citado 22º de dezembro de 2024];15(1). Disponível em: https://journals-sol.sbc.org.br/index.php/reic/article/view/1030