Energy-Efficient Scheduling of Real-time Tasks with Abortable Critical Sections | IEEE Conference Publication | IEEE Xplore