1. Brisset, P., et al.: ECLIPSe Constraint Library Manual, version 5.9 edn. (May 2006),
http://eclipse.crosscoreop.com/eclipse/doc/libman.pdf
2. Calamé, J.R., Ioustinova, N., v.d. Pol, J.C.: Towards Automatic Generation of Parameterized Test Cases from Abstractions. Technical Report SEN-E0602, Centrum voor Wiskunde en Informatica. ENTCS (March 2006) (to appear)
3. Lecture Notes in Computer Science;S. Chaki,2005
4. Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided Abstraction Refinement for Symbolic Model Checking. Journ. of the ACM 50(5), 752–794 (2003)
5. Clarke, E.M., Grumberg, O., Long, D.E.: Model Checking and Abstraction. ACM Transactions on Programming Languages and Systems 16(5), 1512–1542 (1994) A preliminary version appeared in the Proc. of the POPL 1992