From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis - Foss, Luciana (2013)