Specification and design of embedded systems - Gajski, Daniel D. (Pearson, 2007)