Next Generation Design And Verification Methodologies For Distributed Embedded Control Systems by