@TechReport{BML05a,
author={M. ter Beek and M. Massink and D. Latella},
title={Towards Model Checking Stochastic Aspects of the thinkteam User Interface - FULL VERSION},
institution={Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche},
year={2005},

type={},
number={2005-TR-18},
address={},
month={},
note={},
key={}
}