Email Record: Formal techniques for networked and distributed systems, FORTE 2003 :