sur 15
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems — S. Ramesh, P. Sampath