1. Lecture Notes in Computer Science;E. Astesiano,2003
2. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L.: Sequential circuit verification using symbolic model checking. In: DAC 1990: Proceedings of the 27th ACM/IEEE conference on Design automation, pp. 46–51. ACM Press, New York (1990)
3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)
4. Lecture Notes in Computer Science;M. Fowler,1999
5. Kuester, J.M., Engels, G., Groenewegen, L.: Consistent interaction of software components. In: Proc. of IDPT 2002 (2002)