FOSS, Luciana; CAVALHEIRO, Simone André da Costa; BISI, Nícolas Nogueira; PAZZINI, Vinícius Steffens; DE BRISOLARA, Lisane Brisolara; WAGNER, Flávio Rech. From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. Revista de Informática Teórica e Aplicada, [S. l.], v. 20, n. 1, p. 102–139, 2013. DOI: 10.22456/2175-2745.25202. Disponível em: https://seer.ufrgs.br/index.php/rita/article/view/rita_v20_n1_p102. Acesso em: 3 aug. 2026.