It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity. - Anna Lyons; Gernot Heiser (CoRR, 2016)

Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time. - Anna Lyons; Kent McLeod; Hesham Almatary; Gernot Heiser (EuroSys, 2018)

Mixed-Criticality Scheduling and Resource Sharing for High-Assurance Operating Systems. - Anna Lyons (2018)