@mastersthesis{Millar:bsc,
    address          = {Sydney, Australia},
    author           = {Curtis Millar},
    keywords         = {rt},
    month            = nov,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/21/Millar%3Absc.pdf},
    school           = {School of Computer Science and Engineering},
    title            = {Guaranteed response time for mixed-criticality systems on {seL4}},
    type             = {{BSc(Hons)} Thesis},
    year             = {2021}
  }