4
2014.
Electronic Communications of the EASST Volume 70 ( 2014 ) Proceedings of the 14 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2014 ) Adaptive Task Automata with Earliest-Deadline-First Scheduling