1. Boehm, B., Abts, C.: Cots integration: Plug and pray? IEEE Computer 32(1) (January 1999)
2. Edmund, O.G., Clarke Jr., M., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2001)
3. Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch: Why reuse is so hard. IEEE Software 12(6) (November 1995)
4. Lecture Notes in Computer Science;P. Gastin,2001
5. Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of liner temporal logic. In: Proc. of the 15th IFIP/WG6.1 Symposium on Protocol Specification, Testing and Verification, PSTV 1995 (1995)