"PROSA: A Case for Readable Mechanized Schedulability Analysis."

Felipe Cerqueira, Felix Stutz, Björn B. Brandenburg (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics