Text this: Computer-Aided Verification of Coordinating Processes