@article {12780,
	title = {The concurrency workbench: a semantics-based tool for the verification of concurrent systems},
	journal = {ACM Transactions on Programming Languages and Systems},
	volume = {15},
	year = {1993},
	month = {1993/01/01/},
	pages = {36 - 72},
	isbn = {01640925},
	doi = {10.1145/151646.151648},
	url = {http://dl.acm.org/citation.cfm?id=151648},
	author = {Cleaveland, Rance and Parrow,Joachim and Steffen,Bernhard}
}
