Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (English, Electronic book text, Ramesh S)