A design and verification methodology for networked embedded systems