F. Alkhabbas, M. D. Sanctis, R. Spalazzese, A. Bucchiarone, P. Davidsson et al., Enacting Emergent Configurations in the IoT Through Domain Objects, Proc. of ICSOC'18, vol.11236, pp.279-294, 2018.

A. Arnold, Finite Transition Systems -Semantics of Communicating Systems, 1994.

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

C. Baier and J. Katoen, Principles of Model Checking, 2008.

D. Berardi, D. Calvanese, G. Giacomo, M. Lenzerini, and M. Mecella, Automatic Composition of E-services That Export Their Behavior, Proc. of ICSOC'03, vol.2910, pp.43-58, 2003.

P. Bertoli, M. Pistore, and P. Traverso, Automated Composition of Web Services via Planning in Asynchronous Domains, Artif. Intell, vol.174, issue.3-4, pp.316-361, 2010.

A. Bouhoula, J. Jouannaud, and J. Meseguer, Specification and Proof in Membership Equational Logic, Theoretical Computer Science, vol.236, issue.1, pp.35-132, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00099079

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, J. ACM, vol.30, issue.2, pp.323-342, 1983.

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.

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.

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude, LNCS, vol.4350, 2007.

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

F. Durán and G. Salaün, A Note on Automated Composition, Analysis and Deployment of IoT Applications, 2019.

A. Felfernig, A. Falkner, and A. Müslüm, ASP-based Knowledge Representations for IoT Configuration Scenarios, Proc. of ICW'17, p.62, 2017.

D. Guinard, V. Trifa, F. Mattern, and E. Wilde, From the Internet of Things to the Web of Things: Resource-oriented Architecture and Best Practices, Architecting the Internet of Things, pp.97-129, 2011.

. Js-foundation, Node-RED: Flow-based Programming for the IoT, 2018.

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

A. Marconi, M. Pistore, and P. Traverso, Automated Composition of Web Services: the ASTRO Approach, IEEE Data Eng. Bull, vol.31, issue.3, pp.23-26, 2008.

A. Martens, Analyzing Web Service Based Business Processes, Proc. of FASE, vol.3442, pp.19-33, 2005.

J. Meseguer, Conditional Rewriting Logic as a Unified Model of Concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.

S. Narayanan and S. A. Mcilraith, Simulation, Verification and Automated Composition of Web Services, Proc. of WWW'12, pp.77-88, 2002.

S. Ovadia, Automate the Internet with, Behavioral & Social Sciences Librarian, vol.33, issue.4, pp.208-211, 2014.

H. Raffelt, B. Steffen, T. Berg, and T. Margaria, LearnLib: A Framework for Extrapolating Behavioral Models, STTT, vol.11, issue.5, p.393, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00459959

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.

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.

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.