Garanina N. An Exact Schedulability Test for Real-time Systems with an Abstract Scheduler // # 25, 2024