@article{Sewell_KH_17,
    author           = {Sewell, Thomas and Kam, Felix and Heiser, Gernot},
    date             = {2017-9-1},
    doi              = {https://doi.org/10.1007/s11241-017-9286-3},
    issue            = {5},
    journal          = {Real-Time Systems},
    keywords         = {real-time, worst-case execution time, formal verification, {seL4}, {OS}, timing},
    month            = sep,
    pages            = {812-853},
    paperurl         = {https://trustworthy.systems/publications/full_text/Sewell_KH_17.pdf},
    publisher        = {Springer},
    title            = {High-Assurance Timing Analysis for a High-Assurance Real-Time {OS}},
    volume           = {53},
    year             = {2017}
  }