Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks | IEEE Conference Publication | IEEE Xplore