"An exact schedulability test for global FP using state space pruning."

Artem Burmyakov, Enrico Bini, Eduardo Tovar (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics