@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} }