@misc{indiciae8aa4f43f463f,
  title = {Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)},
  author = {Chunhui Guo and Zhicheng Fu and Zhenyu Zhang and Shangping Ren and Lui Sha},
  year = {2018},
  doi = {10.1109/jiot.2018.2879475},
  url = {https://arxiv.org/abs/1811.00694},
  note = {Source identifier: 1811.00694}
}