Embedded Systems Development. From Functional Models to Implementations / ed. A. Sangiovanni-Vincentelli, 2014 r=on-line. - Текст : электронный.