G. Holzmann, und O. Kupferman. The Spin Verification System, Volume 32 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 17-22. DIMACS/AMS, (1996)
S. Ben-David, H. Chockler, und O. Kupferman. Haifa Verification Conference, Volume 8244 von Lecture Notes in Computer Science, Seite 230-245. Springer, (2013)