&. Bain and . Company, IoT market size will more than double, 2018.

J. Brich, M. Walch, and M. Rietzler, Exploring End User Programming Needs in Home Automation, ACM Trans. Comput.-Hum. Interact, vol.24, p.35, 2017.

A. Bucchiarone, A. Marconi, and M. Pistore, A contextaware framework for dynamic composition of process fragments in the internet of services, J. Internet Services and Applications, vol.8, p.23, 2017.

B. Francis, Web Thing API, 2019.

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

J. Huang and M. Cakmak, Supporting mental model accuracy in trigger-action programming, Proc. of UbiComp'15, pp.215-225, 2015.

, Node-RED: Flow-based Programming for the IoT, JS Foundation, 2018.

A. Krishna, M. L. Pallec, R. Mateescu, L. Noirie, and G. Salaün, IoT Composer: Composition and deployment of IoT applications, Proc. of ICSE'19 (ICSE-Companion), pp.19-22, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02146569

A. Krishna, M. L. Pallec, R. Mateescu, L. Noirie, and G. Salaün, Rigorous design and deployment of IoT applications, Proc. of FormaliSE'19, pp.21-30, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02146553

M. Manca, F. Paternò, C. Santoro, and L. Corcella, Supporting end-user debugging of trigger-action rules for IoT applications, Int. J. Hum.-Comput. Stud, vol.123, pp.56-69, 2019.

S. Mittal, W. T. Tam, and C. Ko, Internet of Things: The Pillar of Artificial Intelligence, 2018.

S. Ovadia, Automate the Internet with If This Then That (IFTTT), 2014.

, Behavioral & social sciences librarian, vol.33, pp.208-211, 2014.

S. Tools, Sharp Tools, 2018.

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

B. Ur, E. Mcmanus, and M. Ho, Practical triggeraction programming in the smart home, Proc. of CHI'14, pp.803-812, 2014.

. W3c, Web of Things at W3C, 2018.