A model predictive scheduling algorithm in real-time control systems | IEEE Journals & Magazine | IEEE Xplore