P. Schmitt, und I. Tonin. Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), Seite 47--58. IEEE Computer Society, (2007)
A. Belinfante. Tools and Algorithms for the Construction and Analysis of Systems, 2010, Volume 6015 von Lecture Notes in Computer Science, Seite 266-270. Springer, (2010)
M. van der Bijl, und F. Peureux. Model-Based Testing of Reactive Systems, Volume 3472 von Lecture Notes in Computer Science, Seite 173-200. Springer, (2004)