1. Burch, J., Clarke, E., McMillan, K., Dill, D., Hwang, L.: Symbolic Model Checking: 1020 States and Beyond. In: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pp. 1–33. IEEE Computer Society Press, Washington, D.C. (1990). URL citeseer.ist.psu.edu/burch90symbolic.html
2. Chaki, S., Ouaknine, J., Yorav, K., Clarke, E.: Automated compositional abstraction refinement for concurrent C programs: A two-level approach. In: Proceedings of the Workshop on Software Model Checking (SoftMC), ENTCS, vol. 89 (2003). URL citeseer.ist.psu.edu/chaki03automated.html
3. Gajski, D.D., Dutt, N.D., Wu, A.C.H., Lin, S.Y.L.: High-Level Synthesis: Introduction to Chip and System Design. Kluwer Academic (1992)
4. Gajski, D.D., Ramachandran, L.: Introduction to high-level synthesis. IEEE Design and Test of Computers 11(4), 44–54 (1994). DOI http://dx.doi.org/10.1109/54.329454
5. Ganai, M.K., Gupta, A.: Efficient modeling of concurrent systems in bmc. In: SPIN ’08: Proceedings of the 15th international workshop on Model Checking Software, pp. 114–133. Springer-Verlag, Berlin, Heidelberg (2008). DOI http://dx.doi.org/10.1007/978-3-540-85114-1{_}10