A profile-based energy-efficient intra-task voltage scheduling algorithm for hard real-time applications | IEEE Conference Publication | IEEE Xplore