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