On the Analysis of Parallel Real-Time Tasks With Spin Locks | IEEE Journals & Magazine | IEEE Xplore