Email Record: Overview of risk mitigation for safety-critical computer-based systems /