A framework for scheduling in safety-critical embedded control systems | IEEE Conference Publication | IEEE Xplore