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