Embedded system design modeling, synthesis and verification - Gajski Daniel D. (Springer, 2009)