"Assisting the Design of an Industrial Groupware System by Model Checking."

Maurice H. ter Beek et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics