R. Alur, L. Torre, and S. , Deterministic generators and games for LTL fragments, ACM Trans. Comput. Logic, vol.5, issue.1, p.125, 2004.
DOI : 10.1109/lics.2001.932505

G. Anderson and J. Rathke, Dynamic Software Update for Message Passing Programs, APLAS. LNCS, p.207222, 2012.
DOI : 10.1007/978-3-642-35182-2_15

F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, p.329366, 2004.
DOI : 10.1017/S0960129504004153

A. Aziz, Supervisory control of nite state machines, CAV. LNCS, p.279292, 1995.
DOI : 10.1007/3-540-60045-0_57
URL : ftp://ic.eecs.berkeley.edu/pub/Memos_Conference/cav95.ABB.ps.Z

C. Baier, M. Sirjani, F. Arbab, and J. Rutten, Modeling component connectors in Reo by constraint automata, Science of Computer Programming, vol.61, issue.2, p.75113, 2006.
DOI : 10.1016/j.scico.2005.10.008

C. Baier, Formal verication for components and connectors, FMCO. LNCS, p.82101, 2008.
DOI : 10.1007/978-3-642-04167-9_5

R. Bloem, B. Jobstmann, N. Piterman, A. Pnueli, and Y. Sa-'ar, Synthesis of reac- tive(1) designs, J. of Computer and System Sciences, vol.78, issue.3, p.911938, 2012.

F. Bonchi, A. Brogi, S. Corni, and F. Gadducci, A Behavioural Congruence for Web Services, FSEN. LNCS, p.240256, 2007.
DOI : 10.1007/978-3-540-75698-9_16

D. Bresolin and I. Lanese, Most general property-preserving updates (TR), 2016.
DOI : 10.1007/978-3-319-53733-7_27

K. Chatterjee and L. Doyen, Games with a Weak Adversary, ICALP, p.110121, 2014.
DOI : 10.1007/978-3-662-43951-7_10

D. Preda and M. , Dynamic choreographies: Safe runtime updates of distributed applications, In: COORDINATION. LNCS, vol.9037, p.6782, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01227612

D. Giusto, C. Pérez, and J. A. , Disciplined structured communications with consistent runtime adaptation, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, 2013.
DOI : 10.1145/2480362.2480716

D. Duggan, Type-based hot swapping of running modules, Acta Informatica, vol.21, issue.4-5, pp.181-220, 2005.
DOI : 10.1109/2.573670
URL : http://guinness.cs.stevens-tech.edu/~dduggan/Public/Papers/hotswap-long.pdf

C. M. Hayden, Specifying and verifying the correctness of dynamic software updates, VSTTE. LNCS, p.278293, 2012.

M. C. Huebscher and J. A. Mccann, A survey of autonomic computing???degrees, models, and applications, ACM Computing Surveys, vol.40, issue.3, 2008.
DOI : 10.1145/1380584.1380585

M. Lange, Weak Automata for the Linear Time ??-Calculus, VMCAI. LNCS, p.267281, 2005.
DOI : 10.1007/978-3-540-30579-8_18
URL : http://www.tcs.informatik.uni-muenchen.de/~mlange/papers/vmcai05.pdf

L. A. Leite, A systematic literature review of service choreography adaptation, Service Oriented Computing and Applications, vol.30, issue.5, p.199216, 2013.
DOI : 10.1109/TSE.2004.11

N. Oliveira and L. S. Barbosa, On the reconguration of software connectors, p.18851892, 2013.

H. Seifzadeh, H. Abolhassani, and M. S. Moshkenani, A survey of dynamic software updating, Journal of Software: Evolution and Process, vol.33, issue.12, p.535568, 2013.
DOI : 10.1109/TSE.2007.70733

M. Sirjani, Compositional Semantics of an Actor-Based Language Using Constraint Automata, In: COORDINATION. LNCS, vol.4038, p.281297, 2006.
DOI : 10.1007/11767954_18
URL : http://web.informatik.uni-bonn.de/I/baier/papers/SMBA06.pdf

M. Tsai, Y. Tsay, and Y. Hwang, GOAL for Games, Omega-Automata, and Logics, CAV. LNCS, p.883889, 2013.
DOI : 10.1007/978-3-642-39799-8_62

T. Villa, The Unknown Component Problem -Theory and Application, 2012.
DOI : 10.1007/978-0-387-68759-9

J. Zhang, H. Goldsby, and B. H. Cheng, Modular verication of dynamically adaptive systems, In: AOSD. pp, p.161172, 2009.
DOI : 10.1145/1509239.1509262
URL : http://www.cse.msu.edu/~mckinley/Pubs/files/Zhang.AOSD.2009.pdf