@article {12779,
	title = {Local model checking and protocol analysis},
	journal = {International Journal on Software Tools for Technology Transfer (STTT)},
	volume = {2},
	year = {1999},
	month = {1999///},
	pages = {219 - 241},
	author = {Du,X. and Smolka,S. A and Cleaveland, Rance}
}
