GM R&D Workshop (2007 Bangalore, India)

• Next generation design and verification methodologies for distributed embedded control systems