Mechanisms for enhancing the flexibility and utility of hard real-time systems | IEEE Conference Publication | IEEE Xplore