Verification of Symbolic Distributed Protocols for Networked Embedded Devices | IEEE Conference Publication | IEEE Xplore