Adding workflow analysis techniques to the IS development toolkit | IEEE Conference Publication | IEEE Xplore