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