TimeAwareBPMN-js: An Editor and Temporal Verification Tool for Time-Aware BPMN Processes. To cite this Original Software Publication: https://www.sciencedirect.com/science/article/pii/S2352711021001734 - View it on GitHub