Email Record: Formal techniques for networked and distributed systems--FORTE 2002 :