Text this: Specification and verification of concurrent systems /