Papers Incremental satisfiability counting for real-time systems, [Andrei, Chin, 2004] Real-time systems. Scheduling, Analysis, and Verification, [Cheng, 2002] Optimization of rule-based systems using state space graphs, [Zupan, Cheng, 1998] Optimizing timing analysis and verification of embedded systems using rule-based-analytic techniques, [Sodhi, Cheng, 2003] Timing analysis of the X-38 space station crew return vehicle avionics, [Rice, Cheng, 1999] The determinant of the boolean formulae [Andrei, 1995] Counting for satisfiability by inverting resolution [Andrei, 2004] Systematic Debugging of Real-Rime Systems based on Incremental Satisfiability Counting, [Andrei, Chin, Cheng, Lupu, 2005] Optimization of Real-Time Systems Timing Specifications, [Andrei, Cheng] - submitted