A utility accrual scheduling algorithm for real-time activities with mutual exclusion resource constraints | IEEE Journals & Magazine | IEEE Xplore