Lennart Clausing, Zakarya Guettatfi, Paul Kaufmann, Christian Lienen, Marco Platzner: On Guaranteeing Schedulability of Periodic Real-Time Hardware Tasks Under ReconOS<sup>64</sup>. ARC 2023: 245-259