Text this: Protocol specification, testing, and verification, VII