Text this: Specification and analysis of concurrent systems