@conference {12843,
	title = {Evidence-based model checking},
	booktitle = {Computer Aided Verification},
	year = {2002},
	month = {2002///},
	pages = {641 - 680},
	author = {Tan,L. and Cleaveland, Rance}
}
