Energy-Efficient Real-Time Scheduling of Tasks With Abortable Critical Sections. - Jun Wu; Kai-Long Ke (J. Inf. Sci. Eng., 2014)