PROSA: A Case for Readable Mechanized Schedulability Analysis.

Felipe Cerqueira, Felix Stutz, Bjrn B. Brandenburg

Browse the full ECRTS paper archive.