Transforming YAWL Workflows with Time Constraints into Timed Automata. - Maruth Ravibanjurdkul; Pittipol Kantavat; Wiwat Vatanawood (ICCCM, 2021)