Next generation design and verification methodologies for distributed embedded control systems : proceedings of the GM R&D workshop, Bangalore, India, January 2007 / ed. S. Ramesh, P. Sampath, 2007 r=on-line. - Текст : электронный.