Email Record: Formal methods for embedded distributed systems :