Embedded system design : modeling, synthesis and verification / D. D. Gajski [et al.], 2009 r=on-line. - Текст : электронный.
Embedded system design: topics, techniques and trends / A. Rettberg [et al.], 2007 r=on-line