Protocol Specification and Testing