@inproceedings{Sillitoe_BGH_26,
    address          = {Lund, SE},
    author           = {Simon Sillitoe and Abdul Basit and Massimiliano Giacometti and Gernot Heiser},
    booktitle        = {Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT)},
    keywords         = {worst-case execution time analysis, operating systems, microkernels, seL4},
    month            = jul,
    numpages         = {4},
    paperurl         = {https://trustworthy.systems/publications/papers/Sillitoe_BGH_26.pdf},
    title            = {Resurrecting {seL4}’s {WCET} Analysis},
    year             = {2026}
  }