Gajski, Daniel D Specification and design of embedded systems - PTR Prentice Hall, New jersey 1994 - xvii,450 ISBN: 0-13-150731-1 Dewey Class. No.: 001.61 Gaj