J. Wu, “Energy-Efficient Concurrency Control for Dynamic-Priority Real-Time Tasks with Abortable Critical Sections”, Comput. Inform., vol. 36, no. 4, pp. 765–792, Nov. 2017.