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 29º de abril de 2024];15(1). Disponível em: https://sol.sbc.org.br/journals/index.php/reic/article/view/1030