A universal method for composing business transaction models using logs | IEEE Conference Publication | IEEE Xplore