1. A. Saifan and J. Dingel: “Model-Based Testing of Distributed Systems”. Technichal report 2008-548, school of computing, Queen’s University (2008).
2. S. Barber. What is performance testing?,2007.Available at: http://searchsoftwarequality.techtarget.com/tip/0,289483,sid92gci1247594,00.html
3. A. Huima. “Implementing Conformiq Qtronic”. In TestCom/FATES, pages 1-12,Tallinn, Estonia, June 2007.
4. E. Lazowska, J. Zahorjan, G. Graham, and K. Sevcik. “Quantitative System Performance: Computer System Analysis Using Queuing Network Models”. Prentice-Hall, Inc., NJ, USA, 1984.
5. S. Bernardi, S. Donatelli, and J. Merseguer. “From UML Sequence Diagrams and Statecharts To Analyzable Petri Net Models”. In WOSP ‘02: Proceedings of the 3rd international workshop on Software and performance, pages 35-45, New York, NY, USA, 2002. ACM.