KairosVM: Deterministic introspection for real-time virtual machine hierarchical scheduling
Realizing Compositional Scheduling through Virtualization