Embedded System Design: Modeling Synthesis and Verification - Gajski, Daniel D (London Springer, 2013)
PG
E