{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T17:47:37Z","timestamp":1772041657583,"version":"3.50.1"},"reference-count":79,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Arab Open University (AOU), Saudi Arabia, through AOU Research Fund","award":["AOUKSA-524008"],"award-info":[{"award-number":["AOUKSA-524008"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/access.2025.3558551","type":"journal-article","created":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T18:02:17Z","timestamp":1744135337000},"page":"65316-65333","source":"Crossref","is-referenced-by-count":1,"title":["An Ensemble Formal Approach to Improve Energy Efficiency and Data Aggregation in Smart Agriculture"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6321-4490","authenticated-orcid":false,"given":"Shahbaz","family":"Ahmad","sequence":"first","affiliation":[{"name":"Department of Computer Science and Information Technology, Faculty of Computing, The Islamia University of Bahawalpur, Bahawalpur, Punjab, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2475-5590","authenticated-orcid":false,"given":"Nadeem","family":"Akhtar","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Information Technology, Faculty of Computing, The Islamia University of Bahawalpur, Bahawalpur, Punjab, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4034-6917","authenticated-orcid":false,"given":"Adeel","family":"Ahmed","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Information Technology, Faculty of Computing, The Islamia University of Bahawalpur, Bahawalpur, Punjab, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5675-1570","authenticated-orcid":false,"given":"Saman","family":"Iftikhar","sequence":"additional","affiliation":[{"name":"Faculty of Computer Studies, Arab Open University, Riyadh, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaikhan","family":"Bawazeer","sequence":"additional","affiliation":[{"name":"Faculty of Computer Studies, Arab Open University, Riyadh, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1494-1381","authenticated-orcid":false,"given":"Saima","family":"Abdullah","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Information Technology, Faculty of Computing, The Islamia University of Bahawalpur, Bahawalpur, Punjab, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Introduction to Internet of Things (IoT) technologies for smart agriculture management Introduction aux technologies de l\u2019Internet des objets (IoT) pour une gestion intelligente de l\u2019agriculture","volume-title":"Agricultural Internet of Things and Decision Support for Smart Farming","author":"Colizzi","year":"2019"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICOS.2018.8632817"},{"issue":"10","key":"ref3","article-title":"International journal of advance engineering and research development","volume":"4","author":"Yadav","year":"2017","journal-title":"Development"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/access.2020.2981837"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1186\/s13673-018-0141-x"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.egyr.2022.01.074"},{"key":"ref7","volume-title":"Work of the Statistical Commission Pertaining to the 2030 Agenda for Sustainable Development","year":"2017"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.seta.2024.103771"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICICT.2015.7469593"},{"issue":"4","key":"ref10","doi-asserted-by":"crossref","first-page":"1495","DOI":"10.3390\/smartcities3040071","article-title":"Advanced adaptive street lighting systems for smart cities","volume":"3","author":"Gagliardi","year":"2020","journal-title":"Smart Cities"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/tpwrd.2012.2212215"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.43"},{"issue":"10","key":"ref13","doi-asserted-by":"crossref","first-page":"2760","DOI":"10.3390\/s20102760","article-title":"Enhancing energy saving in smart farming through aggregation and partition aware IoT routing protocol","volume":"20","author":"Fathallah","year":"2020","journal-title":"Sensors"},{"issue":"7","key":"ref14","doi-asserted-by":"crossref","first-page":"2081","DOI":"10.3390\/s20072081","article-title":"An energy efficient and secure IoT-based WSN framework: An application to smart agriculture","volume":"20","author":"Haseeb","year":"2020","journal-title":"Sensors"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.55248\/gengpi.5.0624.1443"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ictem56862.2023.10083820"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ivs.2009.5164274"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/smll.202303565"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2024.101184"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/access.2020.3009298"},{"issue":"3","key":"ref21","doi-asserted-by":"crossref","first-page":"329","DOI":"10.3390\/agriculture12030329","article-title":"Data management and integration of low power consumption embedded devices IoT for transforming smart agriculture into actionable knowledge","volume":"12","author":"Ouafiq","year":"2022","journal-title":"Agriculture"},{"key":"ref22","first-page":"1","article-title":"An energy efficient hybrid node scheduling scheme in cluster based wireless sensor networks","volume-title":"Proc. World Congr. Eng.","volume":"2","author":"Paul"},{"issue":"2","key":"ref23","first-page":"273","article-title":"Clustering algorithms for heterogeneous wireless sensor network: A survey","volume":"1","author":"Katiyar","year":"2010","journal-title":"Int. J. Appl. Eng. Res."},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72360-8_7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s12083-019-00865-6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2015.12.294"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/WoWMoM.2013.6583388"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s11517-019-02036-4"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/itoec.2017.8122476"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2016.09.005"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.36548\/jtcsst.2020.3.001"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/globalsip.2016.7905970"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/comnet47917.2020.9306092"},{"key":"ref34","volume-title":"Internet of Things (IoT) and Agricultural Unmanned Aerial Vehicles (UAVs) in Smart Farming: A Comprehensive Review. Internet of Things","author":"Boursianis","year":"2020"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3056931"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3357538"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3121033"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2021.08.006"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICCE.2016.7430524"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s10723-022-09619-w"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.407"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.geosus.2024.09.001"},{"key":"ref43","first-page":"1","volume-title":"Introduction to Agricultural IoT. Agricultural Internet of Things and Decision Support for Precision Smart Farming","author":"Colizzi","year":"2020"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.compag.2021.106352"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.6160"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.matpr.2021.07.363"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/wicom.2011.6040374"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1002\/dac.5664"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.3390\/proceedings2021074013"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.29040\/ijcis.v5i1.151"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.3390\/electronics13061156"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/tii.2016.2627479"},{"key":"ref53","volume-title":"An Approach to Combining UML and TLA+ in Software Specification","author":"Freinkel","year":"2003"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2023.100972"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2020.107233"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3307"},{"key":"ref57","article-title":"Validating traces of distributed programs against TLA+ specifications","author":"Cirstea","year":"2024","journal-title":"arXiv:2404.16075"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1016\/s1571-0661(04)80410-9"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2019.100480"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511526961.011"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-27534-0_5"},{"issue":"10","key":"ref63","doi-asserted-by":"crossref","first-page":"1745","DOI":"10.3390\/agriculture12101745","article-title":"Smart farming: Internet of Things (IoT)-based sustainable agriculture","volume":"12","author":"Dhanaraju","year":"2022","journal-title":"Agriculture"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/access.2020.2973178"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/sensors47125.2020.9278748"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.32479\/ijefi.12783"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/access.2021.3057865"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2021.107104"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-04524-0_9"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2021.3049471"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/959060.959072"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/ITRE.2003.1270626"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2002.804190"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1016\/j.matpr.2020.07.292"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1007\/BF01887199"},{"key":"ref76","volume-title":"The Object-Z Specification Language","author":"Smith","year":"2012"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1016\/0920-5489(95)00026-Q"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/142137.142153"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10820123\/10955204.pdf?arnumber=10955204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T05:26:12Z","timestamp":1745299572000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10955204\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":79,"URL":"https:\/\/doi.org\/10.1109\/access.2025.3558551","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]}}}