A case study on the automated verification of groupware protocols