Model-based design for embedded systems - Nicolescu, Gabriela (CRC, 2010)