pmcEDF: An Energy Efficient Procrastination Scheduler for Multi-core Mixed Criticality Systems. - Louella Colaco; Amol Pai; Biju K. Raveendran; Sasikumar Punnekkat (HPCC/DSS/SmartCity/DependSys, 2021)