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