Title: The integration of hazard evaluation procedures and requirements engineering for safety-critical embedded systems