L. Foss, S. A. da C. Cavalheiro, N. N. Bisi, V. S. Pazzini, L. B. de Brisolara, and F. R. Wagner, “From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis”, RITA, vol. 20, no. 1, pp. 102–139, Jan. 2013.