{A Case Study on the Automated Verification of Groupware Protocols}