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