Stefan Andrei Wei-Ngan Chin Albert Mo Kim Cheng Mihai Lupu Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. 830-842 2006 55 IEEE Trans. Computers 7 http://doi.ieeecomputersociety.org/10.1109/TC.2006.97 db/journals/tc/tc55.html#AndreiCCL06