{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T15:44:32Z","timestamp":1768751072494,"version":"3.49.0"},"reference-count":88,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100003407","name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["2020W3A5FY"],"award-info":[{"award-number":["2020W3A5FY"]}],"id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010665","name":"H2020 Marie Sk\u0142odowska-Curie Actions","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["813884"],"award-info":[{"award-number":["813884"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Computer Languages"],"published-print":{"date-parts":[[2024,3]]},"DOI":"10.1016\/j.cola.2023.101254","type":"journal-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T18:53:54Z","timestamp":1701370434000},"page":"101254","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["CHESSIoT: A model-driven approach for engineering multi-layered IoT systems"],"prefix":"10.1016","volume":"78","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4463-6268","authenticated-orcid":false,"given":"Felicien","family":"Ihirwe","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5077-6793","authenticated-orcid":false,"given":"Davide","family":"Di Ruscio","sequence":"additional","affiliation":[]},{"given":"Simone","family":"Gianfranceschi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5231-3952","authenticated-orcid":false,"given":"Alfonso","family":"Pierantonio","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.cola.2023.101254_b1","series-title":"The Digital Twin Paradigm for Smarter Systems and Environments: The Industry Use Cases","first-page":"129","article-title":"Chapter six - industry 4.0: Industrial internet of things (IIOT)","volume":"vol. 117","author":"Munirathinam","year":"2020"},{"key":"10.1016\/j.cola.2023.101254_b2","series-title":"Enabling Things to Talk: Designing IoT Solutions with the IoT Architectural Reference Model","first-page":"163","article-title":"IoT reference architecture","author":"Bauer","year":"2013"},{"key":"10.1016\/j.cola.2023.101254_b3","series-title":"2018 Third International Conference on Fog and Mobile Edge Computing","first-page":"13","article-title":"On the development of IoT systems","author":"Taivalsaari","year":"2018"},{"key":"10.1016\/j.cola.2023.101254_b4","series-title":"Models and Verification for Composition and Reconfiguration of Web of Things Applications","author":"Muroor Nadumane","year":"2020"},{"key":"10.1016\/j.cola.2023.101254_b5","series-title":"2015 38th International Convention on Information and Communication Technology, Electronics and Microelectronics","first-page":"996","article-title":"Design of a domain specific language and IDE for Internet of things applications","author":"Salihbegovic","year":"2015"},{"issue":"4","key":"10.1016\/j.cola.2023.101254_b6","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1145\/1118890.1118892","article-title":"When and how to develop domain-specific languages","volume":"37","author":"Mernik","year":"2005","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/j.cola.2023.101254_b7","series-title":"Domain Specific Languages","author":"Fowler","year":"2010"},{"key":"10.1016\/j.cola.2023.101254_b8","series-title":"Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD","first-page":"262","article-title":"Model-based analysis support for dependable complex systems in CHESS","author":"Debiasi","year":"2021"},{"key":"10.1016\/j.cola.2023.101254_b9","series-title":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","first-page":"233","article-title":"A model-driven dependability analysis method for component-based architectures","author":"Gallina","year":"2012"},{"key":"10.1016\/j.cola.2023.101254_b10","first-page":"125","article-title":"ThingML: A language and code generation framework for heterogeneous targets","author":"Harrand","year":"2016"},{"key":"10.1016\/j.cola.2023.101254_b11","series-title":"2012 IEEE Ninth International Conference on Services Computing","first-page":"555","article-title":"Dynamic service provisioning for the cloud","author":"G\u00f6rlach","year":"2012"},{"key":"10.1016\/j.cola.2023.101254_b12","series-title":"Ansible Playbook Essentials","author":"Shah","year":"2015"},{"issue":"5","key":"10.1016\/j.cola.2023.101254_b13","doi-asserted-by":"crossref","DOI":"10.3390\/math11051263","article-title":"Modeling languages for internet of things (IoT) applications: A comparative analysis study","volume":"11","author":"Arslan","year":"2023","journal-title":"Mathematics"},{"issue":"1","key":"10.1016\/j.cola.2023.101254_b14","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TSMC.2020.3042898","article-title":"Internet of things as system of systems: A review of methodologies, frameworks, platforms, and tools","volume":"51","author":"Fortino","year":"2021","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"10.1016\/j.cola.2023.101254_b15","series-title":"Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","article-title":"Low-code engineering for internet of things: A state of research","author":"Ihirwe","year":"2020"},{"key":"10.1016\/j.cola.2023.101254_b16","series-title":"2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion","first-page":"73","article-title":"Cloud-based modeling in IoT domain: a survey, open challenges and opportunities","author":"Ihirwe","year":"2021"},{"key":"10.1016\/j.cola.2023.101254_b17","series-title":"Intelligent Distributed Computing X","article-title":"MDE4IoT: Supporting the internet of things with model-driven engineering","author":"Ciccozzi","year":"2017"},{"key":"10.1016\/j.cola.2023.101254_b18","series-title":"2019 4th International Conference on Computing, Communications and Security","first-page":"1","article-title":"BRAIN-IoT: Model-based framework for dependable sensing and actuation in intelligent decentralized IoT systems","author":"Conzon","year":"2019"},{"key":"10.1016\/j.cola.2023.101254_b19","doi-asserted-by":"crossref","first-page":"92531","DOI":"10.1109\/ACCESS.2021.3092528","article-title":"SimulateIoT: Domain specific language to design, code generation and execute IoT simulation environments","volume":"9","author":"Barriga","year":"2021","journal-title":"IEEE Access"},{"key":"10.1016\/j.cola.2023.101254_b20","doi-asserted-by":"crossref","DOI":"10.1016\/j.jss.2021.111087","article-title":"MontiThings: Model-driven development and deployment of reliable IoT applications","volume":"183","author":"Kirchhof","year":"2022","journal-title":"J. Syst. Softw."},{"issue":"3","key":"10.1016\/j.cola.2023.101254_b21","doi-asserted-by":"crossref","first-page":"1239","DOI":"10.1007\/s11219-018-9434-6","article-title":"A method to evaluate quality of modelling languages based on the zachman reference taxonomy","volume":"27","author":"Giraldo","year":"2019","journal-title":"Softw. Qual. J."},{"key":"10.1016\/j.cola.2023.101254_b22","series-title":"Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures","first-page":"91","article-title":"Model transformations","author":"Di Ruscio","year":"2012"},{"key":"10.1016\/j.cola.2023.101254_b23","series-title":"Node-RED: Low-code programming for event-driven applications","author":"Node-RED","year":"2020"},{"key":"10.1016\/j.cola.2023.101254_b24","series-title":"2016 42th Euromicro Conference on Software Engineering and Advanced Applications","first-page":"157","article-title":"Modeling IoT applications with SysML4IoT","author":"Costa","year":"2016"},{"key":"10.1016\/j.cola.2023.101254_b25","series-title":"2016 IEEE 14th Intl Conf on Dependable, Autonomic and Secure Computing, 14th Intl Conf on Pervasive Intelligence and Computing, 2nd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress","first-page":"392","article-title":"Design and analysis of IoT applications: A model-driven approach","author":"Costa","year":"2016"},{"key":"10.1016\/j.cola.2023.101254_b26","series-title":"Computer Aided Verification","first-page":"359","article-title":"NuSMV 2: An OpenSource tool for symbolic model checking","author":"Cimatti","year":"2002"},{"issue":"C","key":"10.1016\/j.cola.2023.101254_b27","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/j.compind.2016.05.010","article-title":"UML4IoT-A UML-based approach to exploit IoT in cyber-physical manufacturing systems","volume":"82","author":"Thramboulidis","year":"2016","journal-title":"Comput. Ind."},{"key":"10.1016\/j.cola.2023.101254_b28","series-title":"Lightweight machine to machine technical specification","author":"Alliance","year":"2013"},{"key":"10.1016\/j.cola.2023.101254_b29","series-title":"2019 Third World Conference on Smart Trends in Systems Security and Sustainablity","first-page":"239","article-title":"Dynamic fog computing platform for event-driven deployment and orchestration of distributed Internet of Things applications","author":"Nicholson","year":"2019"},{"key":"10.1016\/j.cola.2023.101254_b30","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1016\/j.future.2016.06.031","article-title":"COMFIT: A development environment for the Internet of Things","volume":"75","author":"de Farias","year":"2017","journal-title":"Future Gener. Comput. Syst."},{"key":"10.1016\/j.cola.2023.101254_b31","series-title":"2017 IEEE International Conference on Software Architecture","first-page":"211","article-title":"CAPS: Architecture description of situational aware cyber physical systems","author":"Muccini","year":"2017"},{"key":"10.1016\/j.cola.2023.101254_b32","series-title":"System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0","first-page":"99","article-title":"Modeling and code generation framework for IoT","author":"Sharaf","year":"2019"},{"key":"10.1016\/j.cola.2023.101254_b33","series-title":"Papyrus for IoT \u2013 A modeling solution for IoT","author":"Dhouib","year":"2016"},{"key":"10.1016\/j.cola.2023.101254_b34","unstructured":". OMG, Object Constraint Language (OCL), Version 2.3.1. Object Management Group. URL https:\/\/www.omg.org\/."},{"key":"10.1016\/j.cola.2023.101254_b35","article-title":"Model-driven round-trip engineering for TinyOS-based WSN applications","volume":"65","author":"Marah","year":"2021","journal-title":"J. Comput. Lang."},{"key":"10.1016\/j.cola.2023.101254_b36","article-title":"Smart Block: A visual block language and its programming environment for IoT","volume":"60","author":"Bak","year":"2020","journal-title":"J. Comput. Lang."},{"key":"10.1016\/j.cola.2023.101254_b37","series-title":"Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software","first-page":"119","article-title":"IOTA: A calculus for internet of things automation","author":"Newcomb","year":"2017"},{"key":"10.1016\/j.cola.2023.101254_b38","doi-asserted-by":"crossref","DOI":"10.1016\/j.jss.2020.110720","article-title":"Towards the adoption of OMG standards in the development of SOA-based IoT systems","volume":"169","author":"Costa","year":"2020","journal-title":"J. Syst. Softw."},{"key":"10.1016\/j.cola.2023.101254_b39","series-title":"2018 IEEE International Congress on Internet of Things","first-page":"134","article-title":"An approach based on model-driven development for IoT applications","author":"Sosa-Reyna","year":"2018"},{"key":"10.1016\/j.cola.2023.101254_b40","series-title":"The 4th Workshop on on Computing and Networking for Internet of Things","article-title":"IoTSuite: A ToolSuite for prototyping internet of things applications","author":"Soukaras","year":"2020"},{"key":"10.1016\/j.cola.2023.101254_b41","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1016\/j.jnca.2014.02.013","article-title":"Vitruvius: An expert system for vehicle sensor tracking and managing application generation","volume":"42","author":"Cueva-Fernandez","year":"2014","journal-title":"J. Netw. Comput. Appl."},{"key":"10.1016\/j.cola.2023.101254_b42","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/j.comnet.2014.02.010","article-title":"MIDGAR: Generation of heterogeneous objects interconnecting applications. A Domain Specific Language proposal for Internet of Things scenarios","volume":"64","author":"Gonz\u00e1lez Garc\u00eda","year":"2014","journal-title":"Comput. Netw."},{"key":"10.1016\/j.cola.2023.101254_b43","series-title":"2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops","first-page":"1","article-title":"IoT Link: An internet of things prototyping toolkit","author":"Pramudianto","year":"2014"},{"key":"10.1016\/j.cola.2023.101254_b44","doi-asserted-by":"crossref","first-page":"61639","DOI":"10.1109\/ACCESS.2022.3181166","article-title":"A domain-specific language for modeling IoT system architectures that support monitoring","volume":"10","author":"Erazo-Garz\u00f3n","year":"2022","journal-title":"IEEE Access"},{"key":"10.1016\/j.cola.2023.101254_b45","series-title":"Fault tree analysis in reliability workbench","author":"ISOGRAPH","year":"2022"},{"issue":"7","key":"10.1016\/j.cola.2023.101254_b46","doi-asserted-by":"crossref","first-page":"2005","DOI":"10.1016\/j.compeleceng.2013.04.021","article-title":"A dependability evaluation tool for the Internet of Things","volume":"39","author":"Silva","year":"2013","journal-title":"Comput. Electr. Eng."},{"issue":"1","key":"10.1016\/j.cola.2023.101254_b47","doi-asserted-by":"crossref","DOI":"10.3390\/s17010153","article-title":"Application of fault tree analysis and fuzzy neural networks to fault diagnosis in the internet of things (IoT) for aquaculture","volume":"17","author":"Chen","year":"2017","journal-title":"Sensors"},{"issue":"6","key":"10.1016\/j.cola.2023.101254_b48","doi-asserted-by":"crossref","first-page":"2047","DOI":"10.1109\/JIOT.2017.2749375","article-title":"Reliability modeling of Mesh Storage Area networks for internet of things","volume":"4","author":"Xing","year":"2017","journal-title":"IEEE Internet Things J."},{"key":"10.1016\/j.cola.2023.101254_b49","series-title":"Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","article-title":"Runtime modeling and analysis of IoT systems","author":"\u00c5kesson","year":"2020"},{"key":"10.1016\/j.cola.2023.101254_b50","doi-asserted-by":"crossref","DOI":"10.1007\/s00607-020-00841-6","article-title":"A framework for Model-Driven Engineering of resilient software-controlled systems","volume":"103","author":"Parri","year":"2021","journal-title":"Computing"},{"key":"10.1016\/j.cola.2023.101254_b51","series-title":"2014 IEEE\/ASME International Conference on Advanced Intelligent Mechatronics","first-page":"715","article-title":"Automatic fault tree generation from SysML system models","author":"Mhenni","year":"2014"},{"key":"10.1016\/j.cola.2023.101254_b52","doi-asserted-by":"crossref","first-page":"204","DOI":"10.4236\/jsea.2018.115013","article-title":"Automatic derivation of fault tree models from SysML models for safety analysis","volume":"11","author":"Alshboul","year":"2018","journal-title":"J. Softw. Eng. Appl."},{"key":"10.1016\/j.cola.2023.101254_b53","series-title":"2020 Annual Reliability and Maintainability Symposium","first-page":"1","article-title":"Obtaining fault trees through SysML diagrams: A MBSE approach for reliability analysis","author":"Melani","year":"2020"},{"key":"10.1016\/j.cola.2023.101254_b54","series-title":"Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD","first-page":"210","article-title":"Model-based system engineering for fault tree generation and analysis","author":"Yakymets","year":"2013"},{"key":"10.1016\/j.cola.2023.101254_b55","series-title":"AltaRica 3.0: a Model-Based approach for Safety Analyses","author":"Prosvirnova","year":"2014"},{"key":"10.1016\/j.cola.2023.101254_b56","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1142\/S0219686718500075","article-title":"Fault tree analysis for reliability evaluation of an advanced complex manufacturing system","volume":"17","author":"Fazlollahtabar","year":"2018","journal-title":"J. Adv. Manuf. Syst."},{"key":"10.1016\/j.cola.2023.101254_b57","series-title":"Model-Based Safety and Assessment","first-page":"63","article-title":"Integrating existing safety analyses into SysML","author":"Clegg","year":"2019"},{"key":"10.1016\/j.cola.2023.101254_b58","series-title":"Computer Safety, Reliability, and Security","first-page":"85","article-title":"A SysML profile for fault trees\u2014Linking safety models to system design","author":"Clegg","year":"2019"},{"key":"10.1016\/j.cola.2023.101254_b59","series-title":"2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing","first-page":"241","article-title":"Automatic static fault tree analysis from system models","author":"Xiang","year":"2010"},{"key":"10.1016\/j.cola.2023.101254_b60","series-title":"2016 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshop","first-page":"226","article-title":"Transformation of failure propagation models into fault trees for safety evaluation purposes","author":"Chaari","year":"2016"},{"key":"10.1016\/j.cola.2023.101254_b61","doi-asserted-by":"crossref","DOI":"10.1016\/j.iot.2022.100515","article-title":"Models and analysis for user-driven reconfiguration of rule-based IoT applications","volume":"19","author":"Dur\u00e1n","year":"2022","journal-title":"Internet Things"},{"key":"10.1016\/j.cola.2023.101254_b62","series-title":"2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion","first-page":"761","article-title":"Modeling self-adaptative IoT architectures","author":"Alfonso","year":"2021"},{"key":"10.1016\/j.cola.2023.101254_b63","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1016\/j.procs.2017.05.411","article-title":"DoS-IL: A domain specific internet of things language for resource constrained devices","volume":"109","author":"Negash","year":"2017","journal-title":"Procedia Comput. Sci."},{"key":"10.1016\/j.cola.2023.101254_b64","series-title":"2013 IEEE 6th International Conference on Service-Oriented Computing and Applications","first-page":"61","article-title":"Towards automated IoT application deployment by a cloud-based approach","author":"Li","year":"2013"},{"key":"10.1016\/j.cola.2023.101254_b65","series-title":"2019 IEEE 43rd Annual Computer Software and Applications Conference, Vol. 1","first-page":"870","article-title":"GeneSIS: Continuous orchestration and deployment of smart IoT systems","author":"Ferry","year":"2019"},{"issue":"5","key":"10.1016\/j.cola.2023.101254_b66","doi-asserted-by":"crossref","first-page":"4543","DOI":"10.1109\/JIOT.2020.2971013","article-title":"An application development framework for internet-of-things service orchestration","volume":"7","author":"Rafique","year":"2020","journal-title":"IEEE Internet Things J."},{"key":"10.1016\/j.cola.2023.101254_b67","series-title":"STAF Workshops","first-page":"90","article-title":"Towards a modeling and analysis environment for industrial IoT systems","author":"Ihirwe","year":"2021"},{"issue":"3","key":"10.1016\/j.cola.2023.101254_b68","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.entcs.2005.02.051","article-title":"Modular architectural representation and analysis of fault propagation and transformation","volume":"141","author":"Wallace","year":"2005","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10.1016\/j.cola.2023.101254_b69","series-title":"2018 3rd International Conference on System Reliability and Safety","first-page":"176","article-title":"FLA2FT: Automatic generation of fault tree from ConcertoFLA results","author":"Haider","year":"2018"},{"key":"10.1016\/j.cola.2023.101254_b70","series-title":"Theory and Practice of Model Transformations","first-page":"46","article-title":"The epsilon transformation language","author":"Kolovos","year":"2008"},{"key":"10.1016\/j.cola.2023.101254_b71","series-title":"Low-Code Engineering for the Internet of Things","author":"Ihirwe","year":"2023"},{"key":"10.1016\/j.cola.2023.101254_b72","series-title":"Reliability Based Aircraft Maintenance Optimization and Applications","first-page":"115","article-title":"Chapter 6 - fault tree analysis for composite structural damage","author":"Ren","year":"2017"},{"issue":"15","key":"10.1016\/j.cola.2023.101254_b73","doi-asserted-by":"crossref","DOI":"10.3390\/app11156731","article-title":"Application of FTA analysis for calculation of the probability of the failure of the pressure leaching process","volume":"11","author":"Markulik","year":"2021","journal-title":"Appl. Sci."},{"issue":"1","key":"10.1016\/j.cola.2023.101254_b74","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/j.joes.2017.11.005","article-title":"Fuzzy fault tree analysis of oil and gas leakage in subsea production systems","volume":"3","author":"Cheliyan","year":"2018","journal-title":"J. Ocean Eng. Sci."},{"issue":"4","key":"10.1016\/j.cola.2023.101254_b75","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/j.psep.2009.04.004","article-title":"Methodology for computer aided fuzzy fault tree analysis","volume":"87","author":"Ferdous","year":"2009","journal-title":"Process Saf. Environ. Prot."},{"key":"10.1016\/j.cola.2023.101254_b76","doi-asserted-by":"crossref","DOI":"10.1016\/j.cola.2023.101243","article-title":"Supporting model-based safety analysis for safety-critical IoT systems","volume":"78","author":"Ihirwe","year":"2024","journal-title":"J. Comput. Languages"},{"issue":"1","key":"10.1016\/j.cola.2023.101254_b77","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MS.2017.11","article-title":"Model-based software engineering to tame the IoT jungle","volume":"34","author":"Morin","year":"2017","journal-title":"IEEE Softw."},{"key":"10.1016\/j.cola.2023.101254_b78","series-title":"2020 IEEE International Conference on Software Architecture Companion","first-page":"17","article-title":"On the deployment of IoT systems: An industrial survey","author":"Alkhabbas","year":"2020"},{"key":"10.1016\/j.cola.2023.101254_b79","series-title":"2017 International Artificial Intelligence and Data Processing Symposium","first-page":"1","article-title":"Multi-tenant architectures in the cloud: A systematic mapping study","author":"Karata\u015f","year":"2017"},{"key":"10.1016\/j.cola.2023.101254_b80","series-title":"Home Automation System Failure Logic Behavior Rules","author":"Ihirwe","year":"2023"},{"key":"10.1016\/j.cola.2023.101254_b81","series-title":"Failure Analysis and Prevention","article-title":"Failure rate analysis","author":"Afsharnia","year":"2017"},{"key":"10.1016\/j.cola.2023.101254_b82","series-title":"2017 MODELS Satellite Event. 2019","first-page":"17","article-title":"Model-driven development of adaptive IoT systems","author":"Hussein","year":"2017"},{"key":"10.1016\/j.cola.2023.101254_b83","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.jss.2014.05.076","article-title":"A component-based process with separation of concerns for the development of embedded real-time software systems","volume":"96","author":"Panunzio","year":"2014","journal-title":"J. Syst. Softw."},{"key":"10.1016\/j.cola.2023.101254_b84","series-title":"MQTT version 3.1.1 plus errata 01 [online]","author":"Andrew","year":"2015"},{"issue":"1","key":"10.1016\/j.cola.2023.101254_b85","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/MS.2017.26","article-title":"A roadmap to the programmable world: Software challenges in the IoT era","volume":"34","author":"Taivalsaari","year":"2017","journal-title":"IEEE Softw."},{"key":"10.1016\/j.cola.2023.101254_b86","series-title":"A domain specific modeling and analysis environment for complex IoT applications","author":"Ihirwe","year":"2021"},{"key":"10.1016\/j.cola.2023.101254_b87","series-title":"Proceedings of the 14th International Conference on Emerging Networking EXperiments and Technologies","first-page":"191","article-title":"IotSan: Fortifying the safety of IoT systems","author":"Nguyen","year":"2018"},{"key":"10.1016\/j.cola.2023.101254_b88","series-title":"IEC 61025:2006 - Fault Tree Analysis (FTA) English and French Language","author":"Internationale","year":"2006"}],"container-title":["Journal of Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2590118423000643?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2590118423000643?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T01:53:55Z","timestamp":1762912435000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2590118423000643"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3]]},"references-count":88,"alternative-id":["S2590118423000643"],"URL":"https:\/\/doi.org\/10.1016\/j.cola.2023.101254","relation":{},"ISSN":["2590-1184"],"issn-type":[{"value":"2590-1184","type":"print"}],"subject":[],"published":{"date-parts":[[2024,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"CHESSIoT: A model-driven approach for engineering multi-layered IoT systems","name":"articletitle","label":"Article Title"},{"value":"Journal of Computer Languages","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.cola.2023.101254","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2023 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}],"article-number":"101254"}}