A Probabilistic Hazard Assessment Framework for Safety-Critical and Control Systems: A Case Study for a Nuclear Power Plant. (2nd January 2017)