Foss, L.; Cavalheiro, S. A. da C.; Bisi, N. N.; Pazzini, V. S.; de Brisolara, L. B.; Wagner, F. R. From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. RITA 2013, 20, 102-139.