Email Record: Automatic methods for the refinement of system models :