Specification and design of embedded software-hardware systems (1995)

by D Gajski, F Vahid
Venue:IEEE Design & Test of Computers