@inproceedings{5aa087dd302946a18e224ac273d72550,
title = "Adaptive Task Automata with Earliest-Deadline-First Scheduling",
author = "Leo Hatvani and Alexandre David and Cristina Seceleanu and Paul Pettersson",
year = "2014",
language = "English",
volume = "70",
pages = "1--15",
journal = "Electronic Communications of the EASST",
issn = "1863-2122",
publisher = "European Association of Software Science and Technology",
note = "14th International Workshop on Automated Verification of Critical Systems, AVOCS ; Conference date: 24-09-2014 Through 26-09-2014",
}