Toward behavioral business process analysis | IEEE Conference Publication | IEEE Xplore