Embedded system design : modeling, synthesis and verification (2009)