Protocol Specification, Testing, and Verification XI | lit.salon