@phdthesis{Sewell:phd,
    address          = {Sydney, Australia},
    author           = {Thomas Sewell},
    keywords         = {translation validation; verification; wcet; timing; C; compiler; operating systems},
    month            = july,
    paperurl         = {https://trustworthy.systems/publications/papers/Sewell%3Aphd.pdf},
    school           = {UNSW},
    title            = {Translation Validation for Verified, Efficient and Timely Operating Systems},
    year             = {2017}
  }