Text this: Computer-aided verification of coordinating processes :