@INPROCEEDINGS{Guo2016ICCPS, author={C. Guo and S. Ren and Y. Jiang and P. L. Wu and L. Sha and R. B. Berlin}, booktitle={2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)}, title={Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models}, year={2016}, pages={1-10}, keywords={cyber-physical systems;formal verification;health care;medical computing;patient care;public domain software;UPPAAL model;Yakindu open source statechart tool;clinical validation;formal verification;hospital handbooks;medical best practice guidelines;medical cyber-physical systems;patient care effectiveness;patient care safety;rapid prototyping;statechart models;timed automata;Automata;Best practices;Guidelines;Medical services;Object oriented modeling;Semantics;Unified modeling language}, doi={10.1109/ICCPS.2016.7479121}, month={April} }