Shiyao Lin, Andy J. Wellings, Alan Burns: Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages. Concurr. Comput. Pract. Exp. 25(16): 2227-2251 (2013)