Estimating performance of a business process model | IEEE Conference Publication | IEEE Xplore