D. Faragó, and P. Schmitt. Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, page 50-67. Springer, (June 2009)
A. Boulis, A. Fehnker, M. Fruth, and A. McIver. QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, page 37--38. Washington, DC, USA, IEEE Computer Society, (2008)