Email Record: Software engineering and formal methods :