@article {12768,
	title = {Optimality in abstractions of model checking},
	journal = {Static Analysis},
	year = {1995},
	month = {1995///},
	pages = {51 - 63},
	author = {Cleaveland, Rance and Iyer,P. and Yankelevich,D.}
}
