A metric for the evaluation of the efficiency in Scheduler of Concurrent Real-Time Tasks | IEEE Conference Publication | IEEE Xplore