Email Record: Developing safety-critical software :