Protocol Specification, Testing, and Verification