Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers With Support for Stochastic Processor Consumption | IEEE Journals & Magazine | IEEE Xplore