Email Record: Formal engineering for industrial software development :