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