Email Record: Formal methods and software engineering :