P. Braun, J. Philipps, B. Schätz, and S. Wagner. SafeCert@ETAPS, volume 238 of Electronic Notes in Theoretical Computer Science, page 71-77. Elsevier, (2008)
A. Pretschner, and J. Philipps. Model-Based Testing of Reactive Systems, volume 3472 of Lecture Notes in Computer Science, page 281-291. Springer, (2004)