Simulation of Preemptive Scheduling of the Independent Tasks Using Timed Automata. - Amarat Pimkote; Wiwat Vatanawood (ICSCA, 2021)