Communication Protocol Specification and Verification