Y Abdeddaïm, D Masson - … of the 20th International Conference on Real …, 2012 - dl.acm.org
In this paper, we address the problem of scheduling periodic, possibly self-suspending, real-
time tasks. We show how to use model checking to obtain both a necessary and sufficient …