Model-Based Design For Embedded Systems door Gabriela Nicolescu & Pieter J. Mosterman