Tan L, Cleaveland R.  2002.  Evidence-based model checking. Computer Aided Verification. :641-680.