L. Sanchez, L. Muñoz, and J. A. Galache, SmartSantander: IoT experimentation over a smart city testbed, Computer Networks, vol.61, pp.217-238, 2014.

A. Beugnard, J. Jézéquel, and N. Plouzeau, Making components contract aware, IEEE Computer, vol.32, issue.7, pp.38-45, 1999.
URL : https://hal.archives-ouvertes.fr/hal-02141773

D. Champelovier, X. Clerc, and H. Garavel,

H. Garavel, F. Lang, and R. Mateescu, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, vol.15, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

M. L. Pallec, M. O. Mazouz, and L. Noirie, Physical-interface-based IoT service characterization, Proc. of IOT'16, pp.63-71, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01402421

H. Raffelt, B. Steffen, T. Berg, and T. Margaria, Learnlib: A framework for extrapolating behavioral models, International journal on software tools for technology transfer, vol.11, issue.5, p.393, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00459959

R. J. Van-glabbeek and W. P. Weijland, Branching Time and Abstraction in Bisimulation Semantics, J. ACM, vol.43, issue.3, pp.555-600, 1996.

M. Ouederni, G. Salaün, J. Cámara, and E. Pimentel, Comparator: A tool for quantifying behavioural compatibility, Proc. of FASE'14, pp.306-309, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00934057

H. Garavel, F. Lang, and W. Serwe, From LOTOS to LNT, ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, pp.3-26, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01621670

H. Garavel and F. Lang, SVL: A scripting language for compositional verification, Proc. of FORTE'01, pp.377-394, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072396

R. Tarjan, Depth-first search and linear graph algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972.

M. L. Pallec, L. Noirie, and P. Peloso, Digital assistance for the automated discovery and deployment of IoT services, Proc. of ICIN'18, pp.103-106, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01833202

M. Boussard, D. T. Bui, and R. Douville, The Majord'Home: a SDN approach to let ISPs manage and extend their customers'home networks, Proc. of CNSM'14, pp.430-433, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01084513

, Software-defined networking: The new norm for networks, ONF White Paper, vol.2, pp.2-6, 2012.

M. Boussard, D. T. Bui, and L. Ciavaglia, Software-defined lans for interconnected smart environment, Proc. ITC'15, pp.219-227, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01206629

A. Krishna, M. L. Pallec, R. Mateescu, L. Noirie, and G. Salaün, IoT Composer: Composition and deployment of IoT applications, 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02146569

A. Bouzafour, M. Renaudin, H. Garavel, R. Mateescu, and W. Serwe, Model-checking synthesizable systemverilog descriptions of asynchronous circuits, 24th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2018, pp.34-42, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01777093

D. Brand and P. Zafiropulo, On communicating finite-state machines, J. ACM, vol.30, issue.2, pp.323-342, 1983.

D. M. Yellin and R. E. Strom, Protocol specifications and component adaptors, ACM Trans. Program. Lang. Syst, vol.19, issue.2, pp.292-333, 1997.

C. Canal, E. Pimentel, and J. M. Troya, Compatibility and inheritance in software architectures, Sci. Comput. Program, vol.41, issue.2, pp.105-138, 2001.

C. Attiogbé, P. André, and G. Ardourel, Checking component composability, Proc. of SC'06, ser, vol.4089, pp.18-33, 2006.

F. Durán, M. Ouederni, and G. Salaün, A Generic Framework for Nprotocol Compatibility Checking, Sci. Comput. Program, vol.77, issue.7-8, pp.870-886, 2012.

K. Klai and H. Ochi, Checking Compatibility of Web Services Behaviorally, Proc. of FSEN'13, ser, vol.8161, pp.267-282, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01514668

, Node-red: Flow-based programming for the IoT, JS Foundation, 2018.

S. Ovadia, Automate the internet with If This Then That (IFTTT), Behavioral & social sciences librarian, vol.33, issue.4, pp.208-211, 2014.

. Smartthings, Smartthings: Add a little smartness to your things, 2018.

. Smartrules, Smartrules: Rule your smart home, 2018.

S. Tools, Sharp tools: Visualize and automate your smart home, 2018.

. Stringify, Stringify: Change your life by connecting every thing, 2018.

, webcore: The web community's own rule engine, 2018.

, openhab: Empowering the smart home, 2018.

A. Felfernig, A. Falkner, A. Müslüm, S. P. Erdeniz, C. Uran et al., Asp-based knowledge representations for iot configuration scenarios, 19th International Configuration Workshop, p.62, 2017.

S. Tata, K. Klai, and R. Jain, Formal model and method to decompose process-aware IoT applications, Proc. of OTM'17, pp.663-680, 2017.

A. Bucchiarone, A. Marconi, and M. Pistore, A context-aware framework for dynamic composition of process fragments in the internet of services, J. Internet Services and Applications, vol.8, issue.1, pp.1-6, 2017.

T. A. Lascu, J. Mauro, and G. Zavattaro, Automatic deployment of component-based applications, Sci. Comput. Program, vol.113, pp.261-284, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01233485

A. Brogi, A. Canciani, and J. Soldani, Modelling and analysing cloud application management, Proc. of ESOCC'15, ser, vol.9306, pp.19-33, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01757559

X. Etchevers, G. Salaün, and F. Boyer, Reliable self-deployment of distributed cloud applications, Softw., Pract. Exper, vol.47, issue.1, pp.3-20, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01290465