Transforming YAWL Workflows with Time Interval Constraints into Timed Automata. - Naronggorn Wongsitthiphaithun; Wiwat Vatanawood (JCSSE, 2022)