Advances in design and specification languages for embedded systems / ed. S. A. Huss, 2007 r=on-line. - Текст : электронный.