Foss L, Cavalheiro SA da C, Bisi NN, Pazzini VS, de Brisolara LB, Wagner FR. From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. RITA [Internet]. 2013 Jan. 14 [cited 2026 Aug. 3];20(1):102-39. Available from: https://seer.ufrgs.br/index.php/rita/article/view/rita_v20_n1_p102