1. Brat, G., Havelund, K., Park, S., Visser, W.: Java PathFinder – A Second Generation of a Java Model Checker. In: Workshop on Advances in Verification (2000)
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)
3. Lecture Notes in Computer Science;M. Češka,1997
4. Češka, M., Janoušek, V., Vojnar, T.: Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering 16(3), 183–193 (2001)
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 (1994)