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