A Probabilistic Hazard Assessment Framework for Safety-Critical and Control Systems: A Case Study for a Nuclear Power Plant · Study