Safety assurance case