Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, and Jie Gong, Specification and Design of Embedded Systems, Prentice Hall, ISBN 978-0131507319, July 1994.
view details