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