Email Record: Formal techniques for distributed systems :