Using Process Mining to Formalise Service Level Agreement (SLA) Allocation | IEEE Conference Publication | IEEE Xplore