@inproceedings{Sewell_KH_16,
    month            = apr,
    keywords         = {wcet, sel4, real-time, translation validation},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9118.pdf},
    booktitle        = {IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)},
    author           = {Sewell, Thomas and Kam, Felix and Heiser, Gernot},
    year             = {2016},
    title            = {Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for {WCET} Analysis},
    address          = {Vienna, Austria}
  }