@article {12820,
	title = {Fast generic model-checking for data-based systems},
	journal = {Formal Techniques for Networked and Distributed Systems-FORTE 2005},
	year = {2005},
	month = {2005///},
	pages = {83 - 97},
	author = {Zhang,D. and Cleaveland, Rance}
}
