Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems by S. Ramesh | Menrva Books | MenrvaBooks