{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:07:58Z","timestamp":1759334878668,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032003461"},{"type":"electronic","value":"9783032003478"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-00347-8_1","type":"book-chapter","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:14:09Z","timestamp":1759277649000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reachability and\u00a0Verification of\u00a0Assertions for\u00a0IoT Applications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9755-5800","authenticated-orcid":false,"given":"S. R.","family":"Nagalakshmi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3640-6240","authenticated-orcid":false,"given":"Meenakshi","family":"D\u2019Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"unstructured":"Gartner Magic Quadrant for Global Industrial IoT Platforms, Gartner Research, 29 April 2024. Available from https:\/\/www.gartner.com\/en\/documents\/5389163. Accessed Apr 2025","key":"1_CR1"},{"unstructured":"AWS IoT Core Documentation. Available from https:\/\/docs.aws.amazon.com\/iot\/latest\/developerguide\/aws-iot-how-it-works.html. Accessed April 2025","key":"1_CR2"},{"unstructured":"Azure IoT Documentation. https:\/\/azure.microsoft.com\/en-in\/solutions\/iot. Accessed April 2025","key":"1_CR3"},{"unstructured":"Google Cloud IoT Documentation. https:\/\/cloud.google.com\/iot\/docs. Accessed April 2025","key":"1_CR4"},{"unstructured":"Samsung SmartThings Developers Documentation. https:\/\/developer.smartthings.com\/docs\/getting-started\/architecture-of-smartthings. Accessed April 2025","key":"1_CR5"},{"unstructured":"Celik, Z.B., McDaniel, P., Tan, G.: SOTERIA: automated IoT safety and security analysis. In: Proceedings of the 2018 USENIX Annual Technical Conference, pp. 147\u2013158 (2018)","key":"1_CR6"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-319-69483-2_16","volume-title":"Dependable Software Engineering. Theories, Tools, and Applications","author":"M Diwan","year":"2017","unstructured":"Diwan, M., D\u2019Souza, M.: A framework for modeling and verifying Iot communication protocols. In: Larsen, K.G., Sokolsky, O., Wang, J. (eds.) SETTA 2017. LNCS, vol. 10606, pp. 266\u2013280. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69483-2_16"},{"unstructured":"NodeJS$$^{\\copyright }$$ JavaScript run-time environment, OpenJS Foundation (2024). https:\/\/nodejs.org\/en. Accessed Aug 2024","key":"1_CR8"},{"doi-asserted-by":"crossref","unstructured":"Sun, H., Bonetta, D., Schiavio, F., Binder, W.: Reasoning about the Node.js event loop using async graphs. In: Proceeidngs of the IEEE\/ACM Intl. Symposium on Code Generation and Optimization (CGO 2019), IEEE Press, pp. 61\u201372, (2019)","key":"1_CR9","DOI":"10.1109\/CGO.2019.8661173"},{"doi-asserted-by":"crossref","unstructured":"Obetz, M., Patterson, S., Milanova, A.: Static call graph construction in AWS Lambda serverless applications. In: Proceeidngs of the 11th USENIX Conference on Hot Topics in Cloud Computing (HotCloud\u201919) (2019). https:\/\/dl.acm.org\/doi\/10.5555\/3357034.3357059","key":"1_CR10","DOI":"10.1007\/978-3-030-44769-4_2"},{"doi-asserted-by":"crossref","unstructured":"Obetz, M., Das, A., Castiglia, T., Patterson, S., Milanova, A.: Formalizing Event-Driven Behavior of Serverless Applications, Service-Oriented and Cloud Computing. ESOCC 2020, LNCS, vol 12054. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-030-44769-4_2","key":"1_CR11","DOI":"10.1007\/978-3-030-44769-4_2"},{"doi-asserted-by":"publisher","unstructured":"Winzinger, S., Wirtz, G.: Model-based analysis of serverless applications. In: IEEE\/ACM 11th International Workshop on Modelling in Software Engineering (MiSE), 2019, pp. 82\u201388 (2019). https:\/\/doi.org\/10.1109\/MiSE.2019.00020","key":"1_CR12","DOI":"10.1109\/MiSE.2019.00020"},{"unstructured":"Serverless Examples, Serverless Inc., (2024). https:\/\/github.com\/serverless\/examples\/?tab=readme-ov-file. Accessed Feb 2025","key":"1_CR13"},{"doi-asserted-by":"publisher","unstructured":"Chi, H., Zeng, Q., Du, X., Yu, J.: Cross-app interference threats in smart homes: categorization, detection and handling. In: Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN),2020, pp. 411\u2013423 (2020). https:\/\/doi.org\/10.1109\/DSN48063.2020.00056","key":"1_CR14","DOI":"10.1109\/DSN48063.2020.00056"},{"doi-asserted-by":"publisher","unstructured":"Nagalakshmi, S.R., D\u2019Souza, M.,:Testing, C.C.B., of IoT Applications, in Distributed Computing and Intelligent Technology ICDCIT,: LNCS Vol 14501. Springer, Cham. (2024). https:\/\/doi.org\/10.1007\/978-3-031-50583","key":"1_CR15","DOI":"10.1007\/978-3-031-50583"},{"doi-asserted-by":"publisher","unstructured":"Wang, J., et al.: A comprehensive study on real world concurrency bugs in Node.js. In: 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE), 2017, pp. 520\u2013531 (2017). https:\/\/doi.org\/10.1109\/ASE.2017.8115663","key":"1_CR16","DOI":"10.1109\/ASE.2017.8115663"},{"unstructured":"MQTT Last Will and Testament. https:\/\/www.hivemq.com\/blog\/mqtt-essentials-part-9-last-will-and-testament\/","key":"1_CR17"},{"unstructured":"HiveMQ User Guide. https:\/\/docs.hivemq.com\/hivemq\/latest\/user-guide\/index.html. Accessed April 2025","key":"1_CR18"},{"key":"1_CR19","first-page":"196","volume-title":"Christian Humer","author":"H Sun","year":"2018","unstructured":"Sun, H., Bonetta, D.: Christian Humer, pp. 196\u2013206. Efficient Dynamic Analysis for Node.js. in Proc. CC, Walter Binder (2018)"},{"doi-asserted-by":"publisher","unstructured":"Antal, G., Hegedus, P., T\u00f3th, Z., Ferenc, R., Gyim\u00f3thy, T.: Static JavaScript call graphs: a comparative study. In: IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM), 2018, pp. 177\u2013186 (2018). https:\/\/doi.org\/10.1109\/SCAM.2018.00028","key":"1_CR20","DOI":"10.1109\/SCAM.2018.00028"},{"doi-asserted-by":"crossref","unstructured":"Jensen, S.H., Moller, A., Thiemann, P.: Type Analysis for JavaScript, Proc. 16th Intl. Static Analysis Symposium (SAS), LNCS 5673, Springer-Verlag, August (2009)","key":"1_CR21","DOI":"10.1007\/978-3-642-03237-0_17"},{"doi-asserted-by":"crossref","unstructured":"Esben Sparre Andreasen and Anders M\u00f8ller and Benjamin Barslev Nielsen, Systematic Approaches for Increasing Soundness and Precision of Static Analyzers, Proc. 6th Intl. Workshop on the State Of the Art in Program Analysis (SOAP), June 2017","key":"1_CR22","DOI":"10.1145\/3088515.3088521"},{"doi-asserted-by":"publisher","unstructured":"Winzinger, S., Wirtz, G.: Applicability of coverage criteria for serverless applications. In: IEEE International Conference on Service Oriented Systems Engineering (SOSE) 2020, pp. 49\u201356 (2020). https:\/\/doi.org\/10.1109\/SOSE49046.2020.00013","key":"1_CR23","DOI":"10.1109\/SOSE49046.2020.00013"},{"unstructured":"Mocha - The fun, simple, flexible JavaScript test framework. https:\/\/mochajs.org","key":"1_CR24"},{"unstructured":"ECMAScript parsing infrastructure for multipurpose analysis. https:\/\/esprima.org\/doc\/index.html. Accessed Feb 2025","key":"1_CR25"}],"container-title":["Lecture Notes in Computer Science","Networked Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-00347-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:14:16Z","timestamp":1759277656000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-00347-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783032003461","9783032003478"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-00347-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NETYS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Networked Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rabat","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Morocco","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 May 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 May 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"netys2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/netys.net","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}