Text this: Specification and Analysis of Concurrent Systems :