TY  - RPRT
TI  - Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)
AU  - Chunhui Guo
AU  - Zhicheng Fu
AU  - Zhenyu Zhang
AU  - Shangping Ren
AU  - Lui Sha
PY  - 2018
DO  - 10.1109/jiot.2018.2879475
UR  - https://arxiv.org/abs/1811.00694
ID  - 1811.00694
ER  -