@article {12825,
	title = {A front-end generator for verification tools},
	journal = {Tools and Algorithms for the Construction and Analysis of Systems},
	year = {1995},
	month = {1995///},
	pages = {153 - 173},
	author = {Cleaveland, Rance and Madelaine,E. and Sims,S.}
}
