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