https://5dok.org/document/oy8xed4q-resource-augmentation-performance-guarantees-embedded-real-time-systems.html