1. Basten, T., Bošnački, D., Geilen, M.: Cluster-based Partial Order Reduction. Automated Software Engineering 11(4), 365–402 (2004)
2. Bošnački, D., Elkind, E., Genest, B., Peled, D.: On Commutativity Based Edge Lean Search (full version),
http://perso.crans.org/~genest/BEGP.ps
3. Lecture Notes in Computer Science;C.S. Păsăreanu,1999
4. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)
5. Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems – An Approach to the State-Explosion Problem, PhD thesis, University of Liege, Computer Science Department (November 1994)