Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts | IEEE Journals & Magazine | IEEE Xplore