Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems