Wu, J. Energy-Efficient Concurrency Control for Dynamic-Priority Real-Time Tasks With Abortable Critical Sections. Comput. Inform. 2017, 36, 765-792.