Automated support for business process re-engineering: a case study at IBM | IEEE Conference Publication | IEEE Xplore