Foss, L., Cavalheiro, S. A. da C., Bisi, N. N., Pazzini, V. S., de Brisolara, L. B., & Wagner, F. R. (2013). From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. Revista De Informática Teórica E Aplicada, 20(1), 102–139. https://doi.org/10.22456/2175-2745.25202