Energy-Efficient Scheduling of Real-time Tasks with Abortable Critical Sections. - Jun Wu 010; Kai-Long Kao (HPCC-ICESS, 2012)