1. Grumberg, O., Long, D.: Model Checking and Modular Verification. ACM Trans. on Prog. Lang. & Syst. 16, 843–871 (1994)
2. Abadi, M., Lamport, L.: Composing Specifications. ACM Transactions on Prog. Lang. and Systems (TOPLAS) 15, 73–132 (1993)
3. M., C.E., Long, D.E., McMillan, K.L.: Compositional Model Checking. In: Proc. of the 4th Symp. on Logic in Comp. Sci (LICS 1989), pp. 353–362 (1989)
4. Jensen, T., Le Métayer, D., Thorn, T.: Verifying Security Properties of Control- Flow Graphs. In: Proc. of the 20th Symposium on Security and Privacy, Berkeley, pp. 89–103. IEEE Computer Society Press, Los Alamitos (1999)
5. Lecture Notes in Computer Science;G. Barthe,2002