Specification and Design of Embedded Systems by Daniel D. Gajski & Frank Vahid