Doron Peled Moshe Y. Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings FORTE Lecture Notes in Computer Science 2529 Springer 2002 3-540-00141-7 db/conf/forte/forte2002.html