Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements - Daw Perez, Zamira Angelica (kassel university press, 2014)