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 & D Workshop, Bangalore, India, January 2007 00 SN - 9781402062544 U1 - 629.895 PY - 2007/// CY - Dordrecht : PB - Springer , KW - Engineering KW - Software engineering KW - Computer science ER -