TITLE     : Assisting the design of a groupware system - Model checking usability aspects of thinkteam
AUTHOR(S) : Ter Beek Mh, Gnesi S, Latella D, Massink M, Sebastianis M, Trentanni G
TYPE      : Journal article
YEAR      : 2009
CODE      : 44258

*** DO NOT EDIT THIS FILE ***