A Formal Diagrammatic Approach to Timed Workflow Modelling | IEEE Conference Publication | IEEE Xplore