1. Aminof, B., Ball, T., Kupferman, O.: Reasoning about systems with transition fairness. Technical Report MSR-TR-2004-89 (September 2004)
2. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. I&C 98(2), 142–170 (1992)
3. Lecture Notes in Computer Science;R. Bloem,2000
4. Buchsbaum, A.L., Kaplan, H., Rogers, A., Westbrook, J.R.: A new, simpler lineartime dominators algorithm. ACM TOPLAS 20(6), 1265–1296 (1998)
5. Lecture Notes in Computer Science;R. Bloem,1999