Quality Assurance for Software Important to Safety