Formal Model of Workflow Integration and its Application in STISAG | IEEE Conference Publication | IEEE Xplore