@mastersthesis{Johnston:be,
    address          = {Sydney, Australia},
    author           = {Mitchell Johnston},
    keywords         = {sel4, threshold},
    month            = nov,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/22/Johnston%3Abe.pdf},
    school           = {School of Computer Science and Engineering},
    title            = {Strengthening scheduling guarantees of {seL4} {MCS} with {IPC} budget limits},
    year             = {2022}
  }