Embedded System Design : Modeling, Synthesis and Verification - Gajski, Daniel D. (Springer, 2009)