Maurice H. ter Beek Mieke Massink Diego Latella Stefania Gnesi Alessandro Forghieri Maurizio Sebastianis A case study on the automated verification of groupware protocols. 596-603 2005 conf/icse/2005 ICSE http://doi.acm.org/10.1145/1062455.1062560 db/conf/icse/icse2005.html#BeekMLGFS05