@misc{indiciaeeb0f3339de28,
  title = {A Redundancy-Guided Approach for the Hazard Analysis of Digital Instrumentation and Control Systems in Advanced Nuclear Power Plants},
  author = {Tate Shorthill and Han Bao and Hongbin Zhang and Heng Ban},
  year = {2020},
  url = {https://arxiv.org/abs/2005.02348},
  note = {Source identifier: 2005.02348}
}