Specification and design of embedded systems - Gajski, Daniel D (PTR Prentice Hall, New jersey, 1994)