@article {12824,
	title = {Priorities for modeling and verifying distributed systems},
	journal = {Tools and Algorithms for the Construction and Analysis of Systems},
	year = {1996},
	month = {1996///},
	pages = {278 - 297},
	author = {Cleaveland, Rance and L\{\"u}ttgen,G. and Natarajan,V. and Sims,S.}
}
