1. B. Alpern and F. B. Schneider. Recognizing safety and liveness. Distributed Computing, 2:117–126, 1987.
2. C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis. Memory efficient algorithms for the verification of temporal properties. Formal Methods in System Design, 1:275–288, 1992.
3. P. Godefroid, G. J. Holzmann, and D. Pirottin. State space caching revisited. In Proc. 4th Workshop on Computer Aided Verification, Montreal, June 1992.
4. P. Godefroid. Using partial orders to improve automatic verification methods. In Proc. 2nd Workshop on Computer Aided Verification, volume 531 of Lecture Notes in Computer Science, pages 176–185, Rutgers, June 1990. Springer-Verlag.
5. P. Godefroid and D. Pirottin. Refining dependencies improves partial-order verification methods. In Proc. 5th Workshop on Computer Aided Verification, Elounda, June 1993. Lecture Notes in Computer Science, Springer-Verlag.