Olga Shumsky Matlin Ewing L. Lusk William McCune SPINning Parallel Systems Software. 213-220 2002 conf/spin/2002 SPIN https://doi.org/10.1007/3-540-46017-9_16 db/conf/spin/spin2002.html#MatlinLM02