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.,; Vardi, Moshe Y. (Lecture notes in computer science ;)