Verification of Symbolic Distributed Protocols for Networked Embedded Devices