Protocol Specification, Testing and Verification XIV | lit.salon