Specification and Design of Embedded Systems (1994)

by D D Gajski, F Vahid, S Narayan, J Gong