P. Santos-Neto, R. Resende, und C. Pádua. SAC '07: Proceedings of the 2007 ACM symposium on Applied computing, Seite 1409--1415. New York, NY, USA, ACM, (2007)
A. Pretschner, und J. Philipps. Model-Based Testing of Reactive Systems, Volume 3472 von Lecture Notes in Computer Science, Seite 281-291. Springer, (2004)