Energy-efficient scheduling for stability-guaranteed embedded control systems | IEEE Conference Publication | IEEE Xplore