Email Record: Formal methods for protocol engineering and distributed systems :