Model-based design of tools for business understanding and re-engineering | IEEE Conference Publication | IEEE Xplore