Stefan Andrei Albert Mo Kim Cheng Wei-Ngan Chin Mihai Lupu Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. 519-528 2005 conf/rtas/2005 IEEE Real-Time and Embedded Technology and Applications Symposium http://doi.ieeecomputersociety.org/10.1109/RTAS.2005.50 db/conf/rtas/rtas2005.html#AndreiCCL05