NA in the Safety Case