Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings - Peled, Doron A.; Peled, Doron A.; Vardi, Moshe Y.; Vardi, Moshe Y. (Springer Berlin Heidelberg : Imprint: Springer, 2002)