@article {12785,
	title = {Modeling and verifying distributed systems using priorities: A case study},
	journal = {Software - Concepts and Tools},
	volume = {17},
	year = {1996},
	month = {1996///},
	pages = {50 - 62},
	author = {Cleaveland, Rance and Natarajan,V. and Sims,S. and Luettgen,G.}
}
