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

H. Garavel, F. Lang, and W. Serwe, From LOTOS to LNT, pp.3-26, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01621670

H. Garavel and F. Lang, 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

D. Champelovier and X. Clerc, Reference Manual of the LNT to LOTOS Translator, vol.153, 2018.

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

M. Boussard and D. T. Bui, Software-Defined LANs for Interconnected Smart Environment, Proc. of ITC'15, pp.219-227, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01206629

M. Boussard and D. T. Bui, 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.

, 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.

. Zenodys, IoT Platform, 2018.

A. Bucchiarone and A. Marconi, 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.