1. Lecture Notes in Computer Science;A. Valmari,1991
2. Godefroid, P.: Using partial orders to improve automatic verification methods. In: Proc. of Computer Aided Verification Workshop (1990)
3. Katz, S., Peled, D.: Defining conditional independence using collapses. Semantics for concurrency. In: Kwiatkowska, M. (ed.) BCS-FACS Workshop, Springer, Heidelberg (1990)
4. Lecture Notes in Computer Science;K.L. McMillan,1995
5. Mercer, E.G.: Correctness and Reduction in Timed Circuit Analysis. PhD thesis, Universty of Utah (2002)