Functional Verification of Networked Embedded Systems