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