ENACT: Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems. - Nicolas Ferry 001; Arnor Solberg; Hui Song; Stéphane Lavirotte; Jean-Yves Tigli; Thierry Winter; Victor Muntés-Mulero; Andreas Metzger; Erkuden Rios Velasco; Amaia Castelruiz Aguirre (DEVOPS, 2018)