González Triviño, Alejandro and García Cortés, David M. and Ilzarbe González, José Miguel (2003) Traductor de especificaciones de StateFlow - Simulink a EdROOM. [Coursework] (Unpublished)