Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models | IEEE Conference Publication | IEEE Xplore