R. Bastide, D. Navarre, and P. Palanque. CHI '02 extended abstracts on Human factors in computing systems, page 516--517. Minneapolis, Minnesota, USA, ACM Press, (2002)
D. Jansen, H. Hermanns, and J. Katoen. Intl. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, page 355--374. Springer, (September 2002)