Email Record: Formal Methods for Distributed System Development :