Converting Clinical Pathways to BPM+ Standards: A Case Study in Stable Ischemic Heart Disease | IEEE Conference Publication | IEEE Xplore