@Article{BG+09,
author={M. ter Beek and S. Gnesi and D. Latella and M. Massink and M. Sebastianis and G. Trentanni},
title={ Assisting the Design of a Groupware System - Model Checking Usability Aspects of thinkteam},
journal={Journal of Logic and Algebraic Programming},
year={2009},

volume={78},
number={4},
pages={191-232},
publisher={},
month={},
note={},
key={}
}