Model-based design for embedded systems - Nicolescu, G. (Gabriela); Mosterman, Pieter J. (CRC Press, 2010)