Adaptive Task Automata with Earliest-Deadline-First Scheduling | Publicación