Hatvani, L.; David, A.; Seceleanu, C.; Pettersson, P. Adaptive Task Automata With Earliest-Deadline-First Scheduling. eceasst 2014, 70.