Wu, J. 2017. Energy-Efficient Concurrency Control for Dynamic-Priority Real-Time Tasks with Abortable Critical Sections. Computing and Informatics. 36, 4 (Nov. 2017), 765–792.