"Formal Performance Modelling: From Protocols to People."

Nigel Thomas et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics