A. Belinfante. Tools and Algorithms for the Construction and Analysis of Systems, 2010, volume 6015 of Lecture Notes in Computer Science, page 266-270. Springer, (2010)
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)
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)
P. Schmitt, and I. Tonin. Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), page 47--58. IEEE Computer Society, (2007)
M. van der Bijl, and F. Peureux. Model-Based Testing of Reactive Systems, volume 3472 of Lecture Notes in Computer Science, page 173-200. Springer, (2004)
F. Werner, and D. Faragó. Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, page 115--131. Springer, (2010)