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)
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)
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)