From UML to Simulink CAAM : formal specification and transformation analysis - Foss, Luciana (2013)