Next Generation Design and Verification Methodologies for Distributed Embedded