Locking Protocols for Parallel Real-Time Tasks With Semaphores Under Federated Scheduling | IEEE Journals & Magazine | IEEE Xplore