Bernard Blackham, Mark H. Liffiton, Gernot Heiser. Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. In 20th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2014, Berlin, Germany, April 15-17, 2014. pages 169-178, IEEE, 2014. [doi]
Abstract is missing.