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 Netherlands, 2007)