{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,2]],"date-time":"2026-08-02T10:28:59Z","timestamp":1785666539186,"version":"3.56.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,1,12]],"date-time":"2021-01-12T00:00:00Z","timestamp":1610409600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,12]],"date-time":"2021-01-12T00:00:00Z","timestamp":1610409600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s42979-020-00412-8","type":"journal-article","created":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T11:57:27Z","timestamp":1610539047000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["A Prototype Modeling of Smart Irrigation System Using Event-B"],"prefix":"10.1007","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6607-2707","authenticated-orcid":false,"given":"Rahul","family":"Karmakar","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bidyut Biman","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,1,12]]},"reference":[{"key":"412_CR1","unstructured":"DZone IoT. Smart irrigation in IoT: 12 important things to know. https:\/\/dzone.com\/articles\/smart-irrigation-with-iot-top-12-things-to-know."},{"key":"412_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: system and software engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial JR. Modeling in Event-B: system and software engineering. Cambridge: Cambridge University Press; 2010."},{"issue":"3\u20134","key":"412_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s13201-011-0017-y","volume":"1","author":"HM Al-Ghobari","year":"2011","unstructured":"Al-Ghobari HM, Mohammad FS. Intelligent irrigation performance: evaluation and quantifying its ability for conserving water in arid region. Appl Water Sci. 2011;1(3\u20134):73\u201383. https:\/\/doi.org\/10.1007\/s13201-011-0017-y.","journal-title":"Appl Water Sci"},{"issue":"20","key":"412_CR4","doi-asserted-by":"publisher","first-page":"29581","DOI":"10.1007\/s11042-019-7367-0","volume":"78","author":"S AlZu\u2019bi","year":"2019","unstructured":"AlZu\u2019bi S, Hawashin B, Mujahed M, Jararweh Y, Gupta BB. An efficient employment of internet of multimedia things in smart and future agriculture. Multimed Tools Appl. 2019;78(20):29581\u2013605. https:\/\/doi.org\/10.1007\/s11042-019-7367-0.","journal-title":"Multimed Tools Appl"},{"issue":"12","key":"412_CR5","first-page":"4","volume":"8","author":"DJJ Amalraj","year":"2019","unstructured":"Amalraj DJJ, Banumathi S, John JJ. A study on smart irrigation systems for agriculture using Iot. Int J Sci Technol Res. 2019;8(12):4.","journal-title":"Int J Sci Technol Res"},{"issue":"2","key":"412_CR6","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/j.csi.2011.03.004","volume":"36","author":"AZ Aqeel-ur-Rehman Abbasi","year":"2014","unstructured":"Aqeel-ur-Rehman Abbasi AZ, Islam N, Shaikh ZA. A review of wireless sensors and networks\u2019 applications in agriculture. Comput Stand Interfaces. 2014;36(2):263\u201370. https:\/\/doi.org\/10.1016\/j.csi.2011.03.004.","journal-title":"Comput Stand Interfaces"},{"key":"412_CR7","doi-asserted-by":"publisher","unstructured":"Brajovic M, Vujovic S, Dukanovic S. An overview of smart irrigation software. In: 2015 4th mediterranean conference on embedded computing (MECO). Budva: IEEE; 2015. p. 353\u2013356. https:\/\/doi.org\/10.1109\/MECO.2015.7181942.","DOI":"10.1109\/MECO.2015.7181942"},{"issue":"2\/3","key":"412_CR8","doi-asserted-by":"publisher","first-page":"11","DOI":"10.5121\/ijasa.2015.3302","volume":"3","author":"C Angel","year":"2015","unstructured":"Angel C, Asha S. A study on developing a smart environment in agricultural irrigation technique. Int J Ambient Syst Appl. 2015;3(2\/3):11\u20137. https:\/\/doi.org\/10.5121\/ijasa.2015.3302.","journal-title":"Int J Ambient Syst Appl."},{"key":"412_CR9","doi-asserted-by":"publisher","unstructured":"Dholu M, Ghodinde K. Internet of things (IoT) for precision agriculture application. In: 2018 2nd international conference on trends in electronics and informatics (ICOEI). Tirunelveli: IEEE; 2018. p. 339\u201342. https:\/\/doi.org\/10.1109\/ICOEI.2018.8553720.","DOI":"10.1109\/ICOEI.2018.8553720"},{"key":"412_CR10","doi-asserted-by":"publisher","unstructured":"Huong TT, Huu\u00a0Thanh N, Van NT, Tien\u00a0Dat N, Long NV, Marshall A. Water and energy-efficient irrigation based on Markov decision model for precision agriculture. In: 2018 IEEE seventh international conference on communications and electronics (ICCE). Hue: IEEE; 2018. p. 51\u20136. https:\/\/doi.org\/10.1109\/CCE.2018.8465723.","DOI":"10.1109\/CCE.2018.8465723"},{"key":"412_CR11","unstructured":"Jastram M. Rodin User\u2019s Handbook. DEPLOY Project. 2010. https:\/\/www3.hhu.de\/stups\/handbook\/rodin\/current\/html\/."},{"key":"412_CR12","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1016\/j.agsy.2016.05.014","volume":"155","author":"JW Jones","year":"2017","unstructured":"Jones JW, Antle JM, Basso B, Boote KJ, Conant RT, Foster I, Godfray HCJ, Herrero M, Howitt RE, Janssen S, Keating BA, Munoz-Carpena R, Porter CH, Rosenzweig C, Wheeler TR. Brief history of agricultural systems modeling. Agric Syst. 2017;155:240\u201354. https:\/\/doi.org\/10.1016\/j.agsy.2016.05.014.","journal-title":"Agric Syst."},{"key":"412_CR13","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1016\/j.procs.2017.06.083","volume":"110","author":"F Karim","year":"2017","unstructured":"Karim F, Karim F, Frihida A. Monitoring system using web of things in precision agriculture. Proc Comput Sci. 2017;110:402\u20139. https:\/\/doi.org\/10.1016\/j.procs.2017.06.083.","journal-title":"Proc Comput Sci."},{"key":"412_CR14","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.3511455","author":"R Karmakar","year":"2019","unstructured":"Karmakar R, Biman Sarkar B, Chaki N. System modeling using Event-B: an insight. SSRN Electron J. 2019. https:\/\/doi.org\/10.2139\/ssrn.3511455.","journal-title":"SSRN Electron J."},{"key":"412_CR15","doi-asserted-by":"publisher","unstructured":"Karmakar R, Sarkar BB, Chaki N. Event-B based formal modeling of a controller: a case study. In: COMSYS. 2020. https:\/\/doi.org\/10.1007\/978-981-15-7834-2-60.","DOI":"10.1007\/978-981-15-7834-2-60"},{"issue":"S1","key":"412_CR16","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s00521-018-3737-1","volume":"31","author":"B Keswani","year":"2019","unstructured":"Keswani B, Mohapatra AG, Mohanty A, Khanna A, Rodrigues JJPC, Gupta D, de Albuquerque VHC. Adapting weather conditions based IoT enabled smart irrigation technique in precision agriculture mechanisms. Neural Comput Appl. 2019;31(S1):277\u201392. https:\/\/doi.org\/10.1007\/s00521-018-3737-1.","journal-title":"Neural Comput Appl"},{"key":"412_CR17","doi-asserted-by":"publisher","unstructured":"Nath V, Mandal JK, editors. Nanoelectronics, circuits and communication systems: proceeding of NCCS 2018, Lecture notes in electrical engineering, vol 642. Singapore: Springer Singapore; 2020. https:\/\/doi.org\/10.1007\/978-981-15-2854-5.","DOI":"10.1007\/978-981-15-2854-5"},{"key":"412_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.compag.2016.04.003","volume":"124","author":"H Navarro-Hell\u00edn","year":"2016","unstructured":"Navarro-Hell\u00edn H, Mart\u00ednez-del Rincon J, Domingo-Miguel R, Soto-Valles F, Torres-S\u00e1nchez R. A decision support system for managing irrigation in agriculture. Comput Electron Agric. 2016;124:121\u201331. https:\/\/doi.org\/10.1016\/j.compag.2016.04.003.","journal-title":"Comput Electron Agric."},{"key":"412_CR19","doi-asserted-by":"publisher","unstructured":"Ramachandran V, Ramalakshmi R, Srinivasan S. An automated irrigation system for smart agriculture using the internet of things. In: 2018 15th international conference on control, automation, robotics and vision (ICARCV). Singapore: IEEE; 2018. p. 210\u201315. https:\/\/doi.org\/10.1109\/ICARCV.2018.8581221.","DOI":"10.1109\/ICARCV.2018.8581221"},{"issue":"3\u20134","key":"412_CR20","doi-asserted-by":"publisher","first-page":"944","DOI":"10.1016\/j.mcm.2010.11.020","volume":"54","author":"L Xu","year":"2011","unstructured":"Xu L, Chen L, Chen T, Gao Y. SOA-based precision irrigation decision support system. Math Comput Model. 2011;54(3\u20134):944\u20139. https:\/\/doi.org\/10.1016\/j.mcm.2010.11.020.","journal-title":"Math Comput Model."}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-020-00412-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s42979-020-00412-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-020-00412-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,9]],"date-time":"2021-02-09T21:17:09Z","timestamp":1612905429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s42979-020-00412-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,12]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["412"],"URL":"https:\/\/doi.org\/10.1007\/s42979-020-00412-8","relation":{},"ISSN":["2662-995X","2661-8907"],"issn-type":[{"value":"2662-995X","type":"print"},{"value":"2661-8907","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,12]]},"assertion":[{"value":"10 September 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 November 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 January 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with Ethical Standards"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"36"}}