SPINning Parallel Systems Software. - Olga Shumsky Matlin; Ewing L. Lusk; William McCune (SPIN, 2002)

Methods to Model-Check Parallel Systems Software - Olga Shumsky Matlin; William McCune; Ewing L. Lusk (CoRR, 2003)

Encapsulation for Practical Simplification Procedures - Olga Shumsky Matlin; William McCune (CoRR, 2004)