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