Energy-Efficient Real-Time Scheduling of Tasks With Abortable Critical Sections - JUN WU; KE, Kai-Long (Journal of information science and engineering, 2014)