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