Foss, Luciana, et al. “From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis”. Revista De Informática Teórica E Aplicada, vol. 20, no. 1, Jan. 2013, pp. 102-39, doi:10.22456/2175-2745.25202.