L. Acciai, M. Boreale, and G. Zavattaro, Behavioural contracts with request-response operations, Sci. Comp. Program, vol.78, issue.2, pp.248-267, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01054626

L. De-alfaro and T. Henzinger, Interface Automata, ESEC/FSE, pp.109-120, 2001.

R. Alur and D. Dill, A Theory of Timed Automata, Theoret. Comp. Sci, vol.126, issue.2, pp.183-235, 1994.

S. Apel, D. S. Batory, C. Kästner, and G. Saake, Feature-Oriented Software Product Lines: Concepts and Implementation, 2013.

E. Asarin, O. Maler, A. Pnueli, and J. Sifakis, Controller Synthesis for Timed Automata, IFAC Proc, vol.31, issue.18, pp.447-452, 1998.

F. Atampore, J. Dingel, and K. Rudie, Automated Service Composition Via Supervisory Control Theory, pp.28-35, 2016.

S. Azzopardi, G. J. Pace, F. Schapachnik, and G. Schneider, Contract automata: An operational view of contracts between interactive parties, Artif. Intell. Law, vol.24, issue.3, pp.203-243, 2016.

M. Bartoletti, T. Cimoli, and R. Zunino, Compliance in Behavioural Contracts: A Brief Survey, Programming Languages with Applications to Biology and Security, vol.9465, pp.103-121, 2015.

D. Basile, M. H. Ter-beek, P. Degano, A. Legay, G. L. Ferrari et al., Controller synthesis of service contracts with variability, Science of Computer Programming, 2019.

D. Basile, M. H. Ter-beek, A. Legay, and L. Traonouez,

M. , Orchestration Synthesis for Real-Time Service Contracts, VECoS. LNCS, vol.11181, pp.31-47, 2018.

D. Basile, P. Degano, and G. L. Ferrari, Automata for Specifying and Orchestrating Service Contracts, Log. Meth. Comp. Sci, vol.12, issue.6, pp.1-51, 2016.

D. Basile, P. Degano, G. L. Ferrari, and E. Tuosto, Playing with Our CAT and Communication-Centric Applications, FORTE. LNCS, vol.9688, pp.62-73, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01432928

D. Basile, P. Degano, G. L. Ferrari, and E. Tuosto, Relating two automata-based models of orchestration and choreography, J. Log. Algebr. Meth. Program, vol.85, issue.3, pp.425-446, 2016.

D. Basile, F. Di-giandomenico, S. Gnesi, P. Degano, and G. L. Ferrari, Specifying Variability in Service Contracts, pp.20-27, 2017.

D. S. Batory, Feature Models, Grammars, and Propositional Formulas, SPLC. LNCS, vol.3714, pp.7-20, 2005.

D. A. Van-beek, W. J. Fokkink, D. Hendriks, A. Hofkamp, J. Markovski et al., CIF 3: Model-Based Engineering of Supervisory Controllers, TACAS. LNCS, vol.8413, pp.575-580, 2014.

M. H. Ter-beek, A. Bucchiarone, and S. Gnesi, Web Service Composition Approaches: From Industrial Standards to Formal Methods, 2007.

M. H. Ter-beek, J. Carmona, R. Hennicker, and J. Kleijn, Communication Requirements for Team Automata, COORDINATION. LNCS, vol.10319, pp.256-277, 2017.

M. H. Ter-beek, A. Fantechi, S. Gnesi, and F. Mazzanti, Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints, J. Log. Algebr. Meth. Program, vol.85, issue.2, pp.287-315, 2016.

M. H. Ter-beek, M. A. Reniers, and E. P. De-vink, Supervisory Controller Synthesis for Product Lines Using CIF 3, ISoLA. LNCS, vol.9952, pp.856-873, 2016.

M. H. Ter-beek, E. P. De-vink, and T. A. Willemse, Family-Based Model Checking with mCRL2, FASE. LNCS, vol.10202, pp.387-405, 2017.

A. Bouguettaya, M. Singh, M. Huhns, Q. Z. Sheng, H. Dong et al., A Service Computing Manifesto: The Next 10 Years, Commun. ACM, vol.60, issue.4, pp.64-72, 2017.

R. Bruni, I. Lanese, H. C. Melgratti, and E. Tuosto, Multiparty Sessions in SOC, COORDI-NATION, vol.5052, pp.67-82, 2008.

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2006.

F. Cassez, A. David, E. Fleury, K. G. Larsen, and D. Lime, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, CONCUR. LNCS, vol.3653, pp.66-80, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00350475

G. Castagna, M. Dezani-ciancaglini, and L. Padovani, On Global Types and Multi-Party Sessions, Log. Meth. Comp. Sci, vol.8, issue.1, pp.1-45, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00694636

G. Castagna, N. Gesbert, and L. Padovani, A Theory of Contracts for Web Services, ACM Trans. Program. Lang. Syst, vol.31, issue.5, p.61, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00694649

A. Classen, M. Cordy, P. .. Schobbens, P. Heymans, A. Legay et al., Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking, IEEE Trans. Softw. Eng, vol.39, issue.8, pp.1069-1089, 2013.

S. Cranen, J. F. Groote, J. J. Keiren, F. P. Stappers, E. P. De-vink et al., An Overview of the mCRL2 Toolset and Its Recent Advances, TACAS. LNCS, vol.7795, pp.199-213, 2013.

P. Darondeau, J. Dubreil, and H. Marchand, Supervisory Control for Modal Specifications of Services, IFAC Proc, vol.43, issue.12, pp.418-425, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00472736

A. David, K. G. Larsen, A. Legay, U. Nyman, and A. W?sowski, Timed I/O Automata: A Complete Specification Theory for Real-time Systems, pp.91-100, 2010.

M. Dezani-ciancaglini and U. De'liguoro, Sessions and Session Types: An Overview, WS-FM, vol.6194, pp.1-28, 2010.

G. Feuillade and S. Pinchinat, Modal Specifications for the Control Theory of Discrete Event Systems, Discrete Event Dyn. Syst, vol.17, issue.2, pp.211-232, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00555754

C. Gierds, A. J. Mooij, and K. Wolf, Reducing Adapter Synthesis to Controller Synthesis, IEEE Trans. Services Computing, vol.5, issue.1, pp.72-85, 2012.

P. Gohari and W. M. Wonham, On the complexity of supervisory control design in the RW framework, Man, Cybern. B, Cybern, vol.30, issue.5, pp.643-652, 2000.

K. Honda, N. Yoshida, and M. Carbone, Multiparty Asynchronous Session Types, POPL, pp.273-284, 2008.

H. Hüttel, I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone et al., Foundations of Session Types and Behavioural Contracts, ACM Comput. Surv, vol.49, issue.1, pp.1-3, 2016.

N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon et al., Web Services Choreography Description Language v1, 2005.

J. K?etínský, 30 Years of Modal Transition Systems: Survey of Extensions and Analysis, Models, Algorithms, Logics and Tools, vol.10460, pp.36-74, 2017.

C. Laneve and L. Padovani, An algebraic theory for web service contracts, Form. Asp. Comp, vol.27, issue.4, pp.613-640, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01229401

J. Lange, E. Tuosto, and N. Yoshida, From Communicating Machines to Graphical Choreographies, POPL, pp.221-232, 2015.

K. G. Larsen, U. Nyman, and A. W?sowski, Modal I/O Automata for Interface and Product Line Theories, ESOP. LNCS, vol.4421, pp.64-79, 2007.

N. Lynch and M. Tuttle, An Introduction to Input/Output Automata, CWI Q, vol.2, pp.219-246, 1989.

J. Michaux, E. Najm, and A. Fantechi, Session types for safe Web service orchestration, J. Log. Algebr. Program, vol.82, issue.8, pp.282-310, 2013.

C. Peltz, Web Services Orchestration and Choreography, IEEE Comp, vol.36, issue.10, pp.46-52, 2003.

K. Pohl, G. Böckle, and F. J. Van-der-linden, Software Product Line Engineering: Foundations, Principles, and Techniques, 2005.

P. J. Ramadge and W. M. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control Optim, vol.25, issue.1, pp.206-230, 1987.

Q. Yi, X. Liu, A. Bouguettaya, and B. Medjahed, Deploying and managing Web services: issues, solutions, and directions, VLDB J, vol.17, issue.3, pp.735-572, 2008.