@misc{indiciae45dbb4a21d5e,
  title = {Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts},
  author = {Chunhui Guo and Zhicheng Fu and Zhenyu Zhang and Shangping Ren and Lui Sha},
  year = {2019},
  url = {https://arxiv.org/abs/1909.10493},
  note = {Source identifier: 1909.10493}
}