William S. Davis
-
Specification and Design of Embedded Hardware-Software Systems
IEEE Design & Test