TY - BOOK AU - Ramesh, S AU - Sampath, P TI - Next generation design and verification methodologies for distributed embedded control systems: Proceedings of the GM R and D workshop, Banglore, India, Jan 2007 SN - 9781402062537 U1 - 629.8 RAM/N PY - 2007/// CY - New Delhi PB - Springer KW - CONTROL SYSTEMS KW - EMBEDDED CONTROL SYSTEM ER -