Foss, Luciana, Simone André da Costa Cavalheiro, Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Lisane Brisolara de Brisolara, and Flávio Rech Wagner. “From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis”. Revista de Informática Teórica e Aplicada 20, no. 1 (January 14, 2013): 102–139. Accessed August 3, 2026. https://seer.ufrgs.br/index.php/rita/article/view/rita_v20_n1_p102.