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