Foss, L. et al. 2013. From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. Revista de Informática Teórica e Aplicada. 20, 1 (Jan. 2013), 102–139. DOI:https://doi.org/10.22456/2175-2745.25202.