@article {12800,
	title = {Simulation revisited},
	journal = {Tools and Algorithms for the Construction and Analysis of Systems},
	year = {2001},
	month = {2001///},
	pages = {480 - 495},
	author = {Tan,L. and Cleaveland, Rance}
}
