@phdthesis{Lyons:phd,
    author           = {Anna Lyons},
    month            = aug,
    note             = {Available from publications page at \url{http://trustworthy.systems/}},
    paperurl         = {https://trustworthy.systems/publications/papers/Lyons%3Aphd.pdf},
    school           = {UNSW},
    title            = {Mixed-Criticality Scheduling and Resource Sharing for High-Assurance Operating Systems},
    type             = {{PhD} thesis},
    year             = {2018}
  }