1. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Advances in Computers 58, 117–148 (2003)
2. Czutro, A., Polian, I., Lewis, M.D.T., Engelke, P., Reddy, S.M., Becker, B.: TIGUAN: thread-parallel integrated test pattern generator utilizing satisfiability analysis. In: International Conference on VLSI Design, pp. 227–232. IEEE Computer Society, New Delhi, India (2009)
3. Rintanen, J.: Constructing conditional plans by a theorem-prover. Journal of Artificial Intelligence Research 10, 323–352 (1999)
4. Sinz, C., Kaiser, A., Küchlin, W.: Formal methods for the validation of automotive product configuration data. AI EDAM 17(1), 75–97 (2003)
5. Lecture Notes in Computer Science;I Mironov,2006