Model Based Design for Embedded Systems - Nicolescu, Gabriela (CRC Press, 2010)