Reliability and Safety Modeling of a Digital Feed-Water Control System. JUBPAS 2020, 28 (1), 284-304.