{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:50:18Z","timestamp":1767138618210,"version":"build-2238731810"},"publisher-location":"Singapore","reference-count":15,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819608041","type":"print"},{"value":"9789819608058","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T00:00:00Z","timestamp":1733529600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T00:00:00Z","timestamp":1733529600000},"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":[[2025]]},"DOI":"10.1007\/978-981-96-0805-8_8","type":"book-chapter","created":{"date-parts":[[2024,12,6]],"date-time":"2024-12-06T17:46:48Z","timestamp":1733507208000},"page":"116-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Event-B Based Approach for\u00a0Horizontally Scalable IoT Applications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-7127-5222","authenticated-orcid":false,"given":"Yassmine","family":"Gara Hellal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1920-1825","authenticated-orcid":false,"given":"Lazhar","family":"Hamel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0482-7254","authenticated-orcid":false,"given":"Mohamed","family":"Graiet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,12,7]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/j.future.2023.01.016","volume":"143","author":"A Sadeghi-Niaraki","year":"2023","unstructured":"Sadeghi-Niaraki, A.: Internet of Thing (IoT) review of review: bibliometric overview since its foundation. Futur. Gener. Comput. Syst. 143, 361\u2013377 (2023)","journal-title":"Futur. Gener. Comput. Syst."},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.9734\/ajrcos\/2023\/v16i1330","volume":"16","author":"Burak Cinar and Jasmin Praful Bharadiya","year":"2023","unstructured":"Burak Cinar and Jasmin Praful Bharadiya: Cloud computing forensics; challenges and future perspectives: a review. Asian J. Res. Comput. Sci. 16(1), 1\u201314 (2023)","journal-title":"Asian J. Res. Comput. Sci."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bormann, C., et\u00a0al. RFC 7228: Terminology for constrained-node networks (2014)","DOI":"10.17487\/rfc7228"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Shelby, Z., et\u00a0al.: The Constrained Application Protocol (CoAP). RFC 7252 (June 2014)","DOI":"10.17487\/rfc7252"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: system and software engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R., et al.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transfer 12, 447\u2013466 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"8_CR7","unstructured":"Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures; Doctoral dissertation (2000)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Yassmine, G.H., et al.: A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications. In: 2024 IEEE 24th International Symposium on Cluster, Cloud and Internet Computing (CCGrid), pp. 347\u2013356 (2024)","DOI":"10.1109\/CCGrid59990.2024.00047"},{"key":"8_CR9","series-title":"Transactions on Computational Science and Computational Intelligence","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-030-70873-3_32","volume-title":"Advances in Software Engineering, Education, and e-Learning","author":"Y Jia","year":"2021","unstructured":"Jia, Y., Zhang, Z., Cao, X., Wang, H.: Formal specification and verification of timing behavior in safety-critical IoT systems. In: Arabnia, H.R., Deligiannidis, L., Tinetti, F.G., Tran, Q.-N. (eds.) Advances in Software Engineering, Education, and e-Learning. TCSCI, pp. 459\u2013470. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-70873-3_32"},{"issue":"1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TDSC.2020.2997898","volume":"19","author":"A Hamza","year":"2020","unstructured":"Hamza, A., et al.: Verifying and monitoring iots network behavior using MUD profiles. IEEE Trans. Dependable Secure Comput. 19(1), 1\u201318 (2020)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"8_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2024.114537","volume":"998","author":"M Pasqua","year":"2024","unstructured":"Pasqua, M., Miculan, M.: Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems. Theoret. Comput. Sci. 998, 114537 (2024)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1611","DOI":"10.1007\/s10586-022-03963-y","volume":"26","author":"N Suresh Kumar","year":"2023","unstructured":"Suresh Kumar, N., Santhosh Kumar, G.: Abstracting IoT protocols using timed process algebra and SPIN model checker. Cluster Comput. 26(2), 1611\u20131629 (2023)","journal-title":"Cluster Comput."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Shkarupylo.V., et\u00a0al.: On the aspects of IoT protocols specification and verification. In 2019 IEEE International Scientific-Practical Conference Problems of Infocommunications, Science and Technology (PIC S &T), pp. 93\u201396. IEEE (2019)","DOI":"10.1109\/PICST47496.2019.9061406"},{"key":"8_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2020.107233","volume":"174","author":"K Hofer-Schmitz","year":"2020","unstructured":"Hofer-Schmitz, K., Stojanovi\u0107, B.: Towards formal verification of IoT protocols: a Review. Comput. Netw. 174, 107233 (2020)","journal-title":"Comput. Netw."},{"key":"8_CR15","unstructured":"Persampieri, L.: Unibo-BP: an innovative free software implementation of Bundle Protocol Version 7 (RFC 9171). Master\u2019s thesis in Computer Science Engineering (2023)"}],"updated-by":[{"DOI":"10.1007\/978-981-96-0805-8_28","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T00:00:00Z","timestamp":1733529600000}}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0805-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T12:25:24Z","timestamp":1743251124000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0805-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,7]]},"ISBN":["9789819608041","9789819608058"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0805-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,7]]},"assertion":[{"value":"7 December 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"7 December 2024","order":2,"name":"change_date","label":"Change Date","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Correction","order":3,"name":"change_type","label":"Change Type","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"A correction has been published.","order":4,"name":"change_details","label":"Change Details","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunis","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunisia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icsoc2024.redcad.tn\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}