Incremental satisfiability counting for real-time systems - Andrei, Ş. (2013)
Proceedings - IEEE Real-Time and Embedded Technology and Applications Symposium