Foss, Luciana, Simone André da Costa Cavalheiro, Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Lisane Brisolara de Brisolara, and Flávio Rech Wagner. 2013. “From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis”. Revista De Informática Teórica E Aplicada 20 (1):102-39. https://doi.org/10.22456/2175-2745.25202.