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