L. Hatvani, A. David, C. Seceleanu, and P. Pettersson, “Adaptive Task Automata with Earliest-Deadline-First Scheduling”, eceasst, vol. 70, Nov. 2014.