Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks | IEEE Conference Publication | IEEE Xplore