TY - JOUR T1 - Priorities for modeling and verifying distributed systems JF - Tools and Algorithms for the Construction and Analysis of Systems Y1 - 1996 A1 - Cleaveland, Rance A1 - L\üttgen,G. A1 - Natarajan,V. A1 - Sims,S. ER -