Transforming WS-BPEL into Timed Automata. - Pramate Chandratarat; Wiwat Vatanawood (ICSEB, 2019)