Text this: Protocol specification, testing and verification, VI