1. Bernardi S, Donatelli S, Merseguer J (2002) From UML sequence diagrams and statecharts to analysable petri net models. In: ACM international workshop software and performance, pp 35–45
2. Bernardo M, Gorrieri R (1998) A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. J Theor Comput Sci 202:11–54
3. Bogárdi-Mészöly Á, Szitás Z, Levendovszky T, Charaf H (2005) Investigating factors influencing the response time in ASP.NET web applications. Lect Notes Comput Sci 3746:223–233
4. Bogárdi-Mészöly Á, Levendovszky T, Charaf H (2006) Performance factors in ASP.NET web applications with limited queue models. In: 10th IEEE international conference on intelligent engineering systems, pp 253–257
5. Gilmore S, Hillston J (1994) The PEPA workbench: A tool to support a process algebra-based approach to performance modelling. In: 7th international conference modelling techniques and tools for performance evaluation, pp 353–368