Wu, Jun. “Energy-Efficient Concurrency Control for Dynamic-Priority Real-Time Tasks With Abortable Critical Sections”. Computing and Informatics, vol. 36, no. 4, Nov. 2017, pp. 765-92, http://147.213.75.17/ojs/index.php/cai/article/view/2017_4_765.