On simplifying modular specification and verification of distributed protocols | IEEE Conference Publication | IEEE Xplore