(c) 2020 Marilyn Wolf Models and analysis methods for real-time scheduling on single-processor embedded systems.