Semaphore queue priority assignment for real-time multiprocessor synchronization | IEEE Journals & Magazine | IEEE Xplore