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