1. Abbors, F., Ahmad, T., Truscan, D., and Porres, I. (2013). Model-Based Performance Testing of Web Services Using Probabilistic Timed Automata. In K.H. Krempels and A. Stocker (eds.), Proceedings of the 9th International Conference on Web Information Systems and Technologies, 99–104. Webist.
2. Methods for incremental learning: A survey;Ade;International Journal of Data Mining & Knowledge Management Process,2013
3. Learning regular sets from queries and counterexamples;Angluin;Information and computation,1987
4. A tutorial on UPPAAL;Behrmann,2004
5. Brinksma, E. (1989). Formal approach to conformance testing. In Proc. Int. Workshop on Protocol Test Systems, 311–325. North-Holland.