@misc{indiciae11a5c254547f,
  title = {Systems-theoretic Hazard Analysis of Digital Human-System Interface Relevant to Reactor Trip},
  author = {Edward Chen and Han Bao and Tate Shorthill and Hongbin Zhang and Nam Dinh},
  year = {2022},
  url = {https://arxiv.org/abs/2209.05480},
  note = {Source identifier: 2209.05480}
}