GAJSKI, DANIEL SPECIFICATION AND DESIGN OF EMBEDDED SYSTEMS - PEARSON EDUCATION 2008 - III + 450 ISBN: 978813171716120