On process mining in health care | IEEE Conference Publication | IEEE Xplore