Coverage Preserving Reduction Strategies for Reachability Analysis. - Gerard J. Holzmann; Patrice Godefroid; Didier Pirottin (PSTV, 1992)

Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract). - Patrice Godefroid; Didier Pirottin (CAV, 1993)

State-Space Caching Revisited. - Patrice Godefroid; Gerard J. Holzmann; Didier Pirottin (Formal Methods Syst. Des., 1995)