{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T16:15:04Z","timestamp":1776442504285,"version":"3.51.2"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T00:00:00Z","timestamp":1760745600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T00:00:00Z","timestamp":1760745600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Ningbo 2035 Key Technology Breakthrough Program","award":["No. 2025Z032"],"award-info":[{"award-number":["No. 2025Z032"]}]},{"name":"Ningbo 2035 Key Technology Breakthrough Program","award":["No. 2025Z032"],"award-info":[{"award-number":["No. 2025Z032"]}]},{"name":"Open Subject of Key Laboratory of Embedded and Service Computing of Ministry of Education of China","award":["No. ESSCKF 2023\u201306"],"award-info":[{"award-number":["No. ESSCKF 2023\u201306"]}]},{"name":"Open Subject of Key Laboratory of Embedded and Service Computing of Ministry of Education of China","award":["No. ESSCKF 2023\u201306"],"award-info":[{"award-number":["No. ESSCKF 2023\u201306"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2025,11]]},"DOI":"10.1007\/s00607-025-01569-x","type":"journal-article","created":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T08:26:52Z","timestamp":1760776012000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Model checking spatial-temporal features of cascading failures in wireless sensor networks"],"prefix":"10.1007","volume":"107","author":[{"given":"Junjie","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Niu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,18]]},"reference":[{"issue":"9","key":"1569_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3558779","volume":"55","author":"L Fotia","year":"2023","unstructured":"Fotia L, Delicato F, Fortino G (2023) Trust in edge-based internet of things architectures: state of the art and research challenges. ACM Comput Surv 55(9):1\u201334. https:\/\/doi.org\/10.1145\/3558779","journal-title":"ACM Comput Surv"},{"key":"1569_CR2","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.future.2021.08.006","volume":"126","author":"BB Sinha","year":"2022","unstructured":"Sinha BB, Dhanalakshmi R (2022) Recent advancements and challenges of internet of things in smart agriculture: a survey. Future Gener Comput Syst 126:169\u2013184. https:\/\/doi.org\/10.1016\/j.future.2021.08.006","journal-title":"Future Gener Comput Syst"},{"key":"1569_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.ins.2018.11.005","volume":"478","author":"S Wang","year":"2019","unstructured":"Wang S, Liu J (2019) Designing comprehensively robust networks against intentional attacks and cascading failures. Inf Sci 478:125\u2013140","journal-title":"Inf Sci"},{"issue":"8","key":"1569_CR4","doi-asserted-by":"publisher","first-page":"10193","DOI":"10.1109\/jsen.2021.3059731","volume":"21","author":"X Fu","year":"2021","unstructured":"Fu X, Li W, Yang Y, Postolache O (2021) Cascading failures analysis of wireless sensor networks with varying routing schemes. IEEE Sensors J 21(8):10193\u201310203. https:\/\/doi.org\/10.1109\/jsen.2021.3059731","journal-title":"IEEE Sensors J"},{"issue":"1","key":"1569_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3517154","volume":"19","author":"H Gao","year":"2023","unstructured":"Gao H, Dai B, Miao H, Yang X, Barroso RJD, Walayat H (2023) A novel gapg approach to automatic property generation for formal verification: the gan perspective. ACM Trans Multimed Comput Commun Appl 19(1):1\u201322. https:\/\/doi.org\/10.1145\/3517154","journal-title":"ACM Trans Multimed Comput Commun Appl"},{"key":"1569_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8","volume-title":"Handbook of Model Checking","author":"EM Clarke","year":"2018","unstructured":"Clarke EM, Henzinger TA, Veith H, Bloem R et al (2018) Handbook of Model Checking, vol 10. Springer, Cham"},{"key":"1569_CR7","doi-asserted-by":"crossref","unstructured":"Ciancia V, Latella D, Massink M, Pakauskas R (2015) Exploring spatio-temporal properties of bike-sharing systems. In: 2015 IEEE International Conference on Self-adaptive and Self-organizing Systems Workshops, pp. 74\u201379","DOI":"10.1109\/SASOW.2015.17"},{"issue":"3","key":"1569_CR8","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s10009-018-0483-8","volume":"20","author":"V Ciancia","year":"2018","unstructured":"Ciancia V, Gilmore S, Grilletti G, Latella D, Loreti M, Massink M (2018) Spatio-temporal model checking of vehicular movement in public transport systems. Int J Software Tools Technol Transfer 20(3):289\u2013311. https:\/\/doi.org\/10.1007\/s10009-018-0483-8","journal-title":"Int J Software Tools Technol Transfer"},{"issue":"1","key":"1569_CR9","first-page":"4","volume":"18","author":"L Nenzi","year":"2022","unstructured":"Nenzi L, Bartocci E, Bortolussi L, Loreti M et al (2022) A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems. LOGICAL METHODS IN COMPUTER SCIENCE 18(1):4\u20131","journal-title":"LOGICAL METHODS IN COMPUTER SCIENCE"},{"issue":"15","key":"1569_CR10","doi-asserted-by":"publisher","first-page":"11793","DOI":"10.1109\/JIOT.2021.3069943","volume":"8","author":"M Ma","year":"2021","unstructured":"Ma M, Bartocci E, Lifland E, Stankovic JA, Feng L (2021) A novel spatial-temporal specification-based monitoring system for smart cities. IEEE Internet Things J 8(15):11793\u201311806","journal-title":"IEEE Internet Things J"},{"issue":"6","key":"1569_CR11","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.1007\/s00607-020-00898-3","volume":"103","author":"S Zroug","year":"2021","unstructured":"Zroug S, Kahloul L, Benharzallah S, Djouani K (2021) A hierarchical formal method for performance evaluation of wsns protocol. Computing 103(6):1183\u20131208","journal-title":"Computing"},{"issue":"1","key":"1569_CR12","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s11235-023-01035-z","volume":"84","author":"S Zroug","year":"2023","unstructured":"Zroug S, Kahloul L, Tigane S, Hamani N, Benharzallah S (2023) A new formal approach for performance evaluation of green mac protocol in energy harvesting wsns. Telecommun Syst 84(1):53\u201367","journal-title":"Telecommun Syst"},{"issue":"11","key":"1569_CR13","doi-asserted-by":"publisher","first-page":"564","DOI":"10.3390\/ijgi11110564","volume":"11","author":"Q Wu","year":"2022","unstructured":"Wu Q, Han Z, Cui C, Liu F, Zhao Y, Xie Z (2022) Vulnerability identification and cascading failure spatiotemporal patterns on road network under the rainstorm disaster. ISPRS Int J Geo-Inf 11(11):564. https:\/\/doi.org\/10.3390\/ijgi11110564","journal-title":"ISPRS Int J Geo-Inf"},{"issue":"1","key":"1569_CR14","doi-asserted-by":"publisher","first-page":"10094","DOI":"10.1038\/ncomms10094","volume":"7","author":"J Zhao","year":"2016","unstructured":"Zhao J, Li D, Sanhedrai H, Cohen R, Havlin S (2016) Spatio-temporal propagation of cascading overload failures in spatially embedded networks. Nat Commun 7(1):10094. https:\/\/doi.org\/10.1038\/ncomms10094","journal-title":"Nat Commun"},{"issue":"1","key":"1569_CR15","doi-asserted-by":"publisher","first-page":"5381","DOI":"10.1038\/srep05381","volume":"4","author":"L Daqing","year":"2014","unstructured":"Daqing L, Yinan J, Rui K, Havlin S (2014) Spatial correlation analysis of cascading failures: congestions and blackouts. Sci Rep 4(1):5381. https:\/\/doi.org\/10.1038\/srep05381","journal-title":"Sci Rep"},{"issue":"35","key":"1569_CR16","doi-asserted-by":"publisher","first-page":"8125","DOI":"10.1073\/pnas.1722313115","volume":"115","author":"X Guan","year":"2018","unstructured":"Guan X, Chen C (2018) General methodology for inferring failure-spreading dynamics in networks. Proc Natl Academy Sci 115(35):8125\u20138134. https:\/\/doi.org\/10.1073\/pnas.1722313115","journal-title":"Proc Natl Academy Sci"},{"key":"1569_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2023.109341","volume":"237","author":"A Varbella","year":"2023","unstructured":"Varbella A, Gjorgiev B, Sansavini G (2023) Geometric deep learning for online prediction of cascading failures in power grids. Reliab Eng Syst Safety 237:109341. https:\/\/doi.org\/10.1016\/j.ress.2023.109341","journal-title":"Reliab Eng Syst Safety"},{"key":"1569_CR18","doi-asserted-by":"publisher","unstructured":"Shuvro RA, Das P, Hayat MM, Talukder M (2019) Predicting cascading failures in power grids using machine learning algorithms. In: 2019 North American Power Symposium (NAPS), pp. 1\u20136. . IEEE https:\/\/doi.org\/10.1109\/NAPS46351.2019.9000379","DOI":"10.1109\/NAPS46351.2019.9000379"},{"issue":"1","key":"1569_CR19","doi-asserted-by":"publisher","first-page":"934","DOI":"10.1109\/tpwrs.2023.3258740","volume":"39","author":"A Dwivedi","year":"2023","unstructured":"Dwivedi A, Tajer A (2023) Grnn-based real-time fault chain prediction. IEEE Trans Power Syst 39(1):934\u2013946. https:\/\/doi.org\/10.1109\/tpwrs.2023.3258740","journal-title":"IEEE Trans Power Syst"},{"key":"1569_CR20","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.neucom.2022.05.010","volume":"497","author":"M Zhang","year":"2022","unstructured":"Zhang M, Wang X, Jin L, Song M, Li Z (2022) A new approach for evaluating node importance in complex networks via deep learning methods. Neurocomputing 497:13\u201327. https:\/\/doi.org\/10.1016\/j.neucom.2022.05.010","journal-title":"Neurocomputing"},{"key":"1569_CR21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijepes.2021.107608","volume":"136","author":"M Abedi","year":"2022","unstructured":"Abedi M, Aghamohammadi MR, Ameli MT (2022) Svm based intelligent predictor for identifying critical lines with potential for cascading failures using pre-outage operating data. Int J Electr Power Energy Syst 136:107608. https:\/\/doi.org\/10.1016\/j.ijepes.2021.107608","journal-title":"Int J Electr Power Energy Syst"},{"issue":"6","key":"1569_CR22","doi-asserted-by":"publisher","first-page":"4772","DOI":"10.1109\/TSG.2023.3256480","volume":"14","author":"A Khaleghi","year":"2023","unstructured":"Khaleghi A, Ghazizadeh MS, Aghamohammadi MR (2023) A deep learning-based attack detection mechanism against potential cascading failure induced by load redistribution attacks. IEEE Trans Smart Grid 14(6):4772\u20134783. https:\/\/doi.org\/10.1109\/TSG.2023.3256480","journal-title":"IEEE Trans Smart Grid"},{"issue":"1","key":"1569_CR23","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s12469-018-00193-7","volume":"11","author":"A Candelieri","year":"2019","unstructured":"Candelieri A, Galuzzi BG, Giordani I, Archetti F (2019) Vulnerability of public transportation networks against directed attacks and cascading failures. Public Transport 11(1):27\u201349. https:\/\/doi.org\/10.1007\/s12469-018-00193-7","journal-title":"Public Transport"},{"key":"1569_CR24","doi-asserted-by":"publisher","DOI":"10.1016\/j.physa.2022.127117","volume":"596","author":"F Xiao","year":"2022","unstructured":"Xiao F, Li J, Wei B (2022) Cascading failure analysis and critical node identification in complex networks. Physica A Stat Mech Appl 596:127117. https:\/\/doi.org\/10.1016\/j.physa.2022.127117","journal-title":"Physica A Stat Mech Appl"},{"key":"1569_CR25","doi-asserted-by":"publisher","DOI":"10.1016\/j.physa.2024.130121","volume":"654","author":"C Lv","year":"2024","unstructured":"Lv C, Zhang Y, Lei Y, Duan D, Si S (2024) Activity centrality-based critical node identification in complex systems against cascade failure. Physica A 654:130121","journal-title":"Physica A"},{"issue":"13","key":"1569_CR26","doi-asserted-by":"publisher","first-page":"5514","DOI":"10.3390\/su16135514","volume":"16","author":"C Ou","year":"2024","unstructured":"Ou C, Pan F, Lin S (2024) Cascade failure-based identification and resilience of critical nodes in automotive supply chain networks. Sustainability 16(13):5514. https:\/\/doi.org\/10.3390\/su16135514","journal-title":"Sustainability"},{"issue":"1","key":"1569_CR27","doi-asserted-by":"publisher","first-page":"16124","DOI":"10.1038\/s41598-020-72771-4","volume":"10","author":"A Smolyak","year":"2020","unstructured":"Smolyak A, Levy O, Vodenska I, Buldyrev S, Havlin S (2020) Mitigation of cascading failures in complex networks. Sci Rep 10(1):16124. https:\/\/doi.org\/10.1038\/s41598-020-72771-4","journal-title":"Sci Rep"},{"issue":"1\u20133","key":"1569_CR28","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0304-3975(02)00701-6","volume":"305","author":"A Galton","year":"2003","unstructured":"Galton A (2003) A generalized topological view of motion in discrete space. Theoret Comput Sci 305(1\u20133):111\u2013134","journal-title":"Theoret Comput Sci"},{"key":"1569_CR29","doi-asserted-by":"crossref","unstructured":"Ciancia V, Latella D, Loreti M, Massink M (2017) Model checking spatial logics for closure spaces. Log Methods Comput Sci 12","DOI":"10.2168\/LMCS-12(4:2)2016"},{"key":"1569_CR30","doi-asserted-by":"crossref","unstructured":"Kuhtz L, Finkbeiner B (2011) Weak kripke structures and ltl. In: International Conference on Concurrency Theory, pp. 419\u2013433. Springer","DOI":"10.1007\/978-3-642-23217-6_28"},{"issue":"3","key":"1569_CR31","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1504\/ijsnet.2022.127109","volume":"40","author":"J Wang","year":"2022","unstructured":"Wang J, Niu J, Yuan Z, Fei F (2022) Spatial properties verification approach of wireless sensor networks using model checking. Int J Sensor Networks 40(3):175\u2013189. https:\/\/doi.org\/10.1504\/ijsnet.2022.127109","journal-title":"Int J Sensor Networks"},{"key":"1569_CR32","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2019.101900","volume":"93","author":"X Fu","year":"2019","unstructured":"Fu X, Yao H, Yang Y (2019) Cascading failures in wireless sensor networks with load redistribution of links and nodes. Ad Hoc Networks 93:101900. https:\/\/doi.org\/10.1016\/j.adhoc.2019.101900","journal-title":"Ad Hoc Networks"},{"key":"1569_CR33","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/j.ins.2019.04.004","volume":"491","author":"X Fu","year":"2019","unstructured":"Fu X, Yao H, Yang Y (2019) Exploring the invulnerability of wireless sensor networks against cascading failures. Inf Sci 491:289\u2013305. https:\/\/doi.org\/10.1016\/j.ins.2019.04.004","journal-title":"Inf Sci"},{"issue":"16","key":"1569_CR34","doi-asserted-by":"publisher","first-page":"18886","DOI":"10.21203\/rs.3.rs-2189433\/v1","volume":"79","author":"Y Zheke","year":"2023","unstructured":"Zheke Y, Jun N, Xurong L, Fangmeng Y (2023) Identify spatio-temporal properties of network traffic by model checking. J Supercomput 79(16):18886\u201318909. https:\/\/doi.org\/10.21203\/rs.3.rs-2189433\/v1","journal-title":"J Supercomput"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-025-01569-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00607-025-01569-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-025-01569-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T02:03:19Z","timestamp":1762999399000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00607-025-01569-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,18]]},"references-count":34,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2025,11]]}},"alternative-id":["1569"],"URL":"https:\/\/doi.org\/10.1007\/s00607-025-01569-x","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,18]]},"assertion":[{"value":"10 June 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 September 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}],"article-number":"218"}}