The following publications are possibly variants of this publication:
- Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline modelsChunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha. iccps 2018: 253-262 [doi]
- Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart ModelsChunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.. iccps 2016: 1-10 [doi]
- Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With StatechartsChunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha. iotj, 6(4):6276-6284, 2019. [doi]