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)
D. Faragó, und P. Schmitt. Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, Seite 50-67. Springer, (Juni 2009)