Power-aware real-time scheduling using pinwheel model and profiling technique | IEEE Conference Publication | IEEE Xplore