Text this: Specification and veritification of concurrent systems /