Next generation design and verification methodologies for distributed embedded control systems : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 - Ramesh, S.; Sampath, Prahladavaradan (Springer, 2007)