• From UML to Simulink CAAM : formal specification and transformation analysis 

      Foss, Luciana; Cavalheiro, Simone André da Costa; Brisolara, Lisane Brisolara de; Bisi, Nicolas; Pazzini, Vinícius Steffens; Wagner, Flavio Rech (2013) [Artigo de periódico]
      UML and Simulink are attractive languages for embedded systems design and modeling. An automatic mapping from UML models to Simulink would be an interesting resource in a seamless design flow, allowing designers to use UML ...