A dynamic modeling toolkit to add rigor to business process re-engineering | IEEE Conference Publication | IEEE Xplore