1. Aalav, H., Avrunin, G., Corbett, J., Dillon, L., Dwyer, M., Pasareanu, C.: Specification patterns. http://patterns.projects.cis.ksu.edu/ . Accessed 13 Aug 2015
2. Apache Software Foundation: ab - Apache HTTP server benchmarking tool. https://httpd.apache.org/docs/2.4/programs/ab.html
3. Lecture Notes in Computer Science;H Barringer,2012
4. Bauer, A., Leucker, M., Schallhart, C.: Model-based runtime analysis of distributed reactive systems. In: 17th Australian Software Engineering Conference (ASWEC 2006). IEEE Computer Society (2006)
5. Lecture Notes in Computer Science;A Bauer,2006