Nicolescu G. Global specification and validation of embedded systems / G. Nicolescu, A. Jerraya, 2007 r=on-line. - Текст : электронный.