G. Agha, Actors: a model of concurrent computation in distributed systems, 1986.

C. Kästner and S. Apel, Integrating compositional and annotative approaches for product line engineering, Proc. Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE), 2008.

J. Lee and K. C. Kang, A feature-oriented approach to developing dynamically reconfigurable products in product line engineering, Proc. of the 10th International on Software Product Line Conference, pp.131-140, 2006.

H. Sabouri and R. Khosravi, Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques, In: FACS, 2012.
DOI : 10.1007/978-3-642-35743-5_18

M. Sirjani, A. Movaghar, A. Shali, and F. De-boer, Modeling and verification of reactive systems using Rebeca, Fundamenta Informaticae, vol.63, issue.4, pp.385-410, 2004.

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

D. Clarke, R. Muschevici, J. Proenca, I. Schaefer, and R. Schlatte, Variability Modelling in the ABS Language, 2010.
DOI : 10.1007/978-3-540-24667-1_10

E. B. Johnsen, O. Owe, and I. C. Yu, Creol: A type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, vol.365, issue.1-2, pp.1-2, 2006.
DOI : 10.1016/j.tcs.2006.07.031

URL : http://doi.org/10.1016/j.tcs.2006.07.031

I. Schaefer, L. Bettini, F. Damiani, and N. Tanzarella, Delta-Oriented Programming of Software Product Lines, Proc. of the 14th int. conference on Software product lines. SPLC'10, pp.77-91, 2010.
DOI : 10.1007/978-3-642-15579-6_6

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

P. Asirelli, M. H. Beek, A. Fantechi, and S. Gnesi, A Model-Checking Tool for Families of Services, Proc. FMOODS, pp.44-58, 2011.
DOI : 10.1016/j.is.2005.05.003

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

S. Klüppelholz and C. Baier, Symbolic model checking for channel-based component connectors, Science of Computer Programming, vol.74, issue.9, pp.688-701, 2009.
DOI : 10.1016/j.scico.2008.09.020

M. M. Bonsangue, D. Clarke, and A. Silva, Automata for Context-Dependent Connectors, In: COORDINATION, vol.154, issue.1, pp.184-203, 2009.
DOI : 10.1016/j.entcs.2005.12.034

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27

URL : https://hal.archives-ouvertes.fr/hal-00375298

C. Krause, Z. Maraikar, A. Lazovik, and F. Arbab, Modeling dynamic reconfigurations in Reo using high-level replacement systems, Science of Computer Programming, vol.76, issue.1, pp.76-99, 2011.
DOI : 10.1016/j.scico.2009.10.006

URL : http://doi.org/10.1016/j.scico.2009.10.006

C. Koehler, D. Costa, J. Proença, and F. Arbab, Reconfiguration of reo connectors triggered by dataflow, ECEASST, vol.10, 2008.
DOI : 10.1007/978-3-642-03429-9_15

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Proenca, Synchronous Coordination of Distributed Components, 2011.