Email Record: Integrated Formal Methods :