Andreas Pavlogiannis, Nico Schaumberger, Ulrich Schmid 0001, Krishnendu Chatterjee. Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. IEEE Trans. on CAD of Integrated Circuits and Systems, 39(11):3981-3992, 2020. [doi]
Abstract is missing.