Model-based Performance Testing of Web Services using Probabilistic Timed Automata Topics: User Modeling; Web Services and Web Engineering In Proceedings of the 9th International Conference on Web Information Systems and Technologies WEBIST - Volume 1, 99-104, 2013 , Aachen, Germany