@conference {12793,
	title = {A semantics based verification tool for finite state systems},
	booktitle = {Proceedings of the IFIP WG6},
	volume = {1},
	year = {1989},
	month = {1989///},
	pages = {287 - 302},
	author = {Cleaveland, Rance and Parrow,J. and Steffen,B.}
}
