Ramesh, S. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems : Proceedings of the GM R & D Workshop, Bangalore, India, January 2007 00 / by S Ramesh; Prahladavaradan Sampath - Dordrecht : Springer , 2007. - ISBN: 9781402062544 Subjects--Topical Terms: --Engineering.--Software engineering.--Computer science. Dewey Class. No.: 629.895 / RAM/N