@inproceedings{Blackham_LH_14,
    address          = {Berlin, Germany},
    author           = {Blackham, Bernard and Liffiton, Mark and Heiser, Gernot},
    booktitle        = {IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)},
    editor           = {{Richard West}},
    isbn             = {978-1-4799-4691-4},
    keywords         = {worst-case execution time, real-time systems},
    month            = apr,
    pages            = {169--178},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7526.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/7526.pdf},
    title            = {Trickle: automated infeasible path detection using all minimal unsatisfiable subsets},
    year             = {2014}
  }