{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T05:10:34Z","timestamp":1739423434686,"version":"3.37.0"},"reference-count":9,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,14]],"date-time":"2024-10-14T00:00:00Z","timestamp":1728864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,14]],"date-time":"2024-10-14T00:00:00Z","timestamp":1728864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,10,14]]},"DOI":"10.1109\/isgteurope62998.2024.10863157","type":"proceedings-article","created":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T18:19:23Z","timestamp":1739297963000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Verification of Protection System Configuration of Electrical Distribution Grids"],"prefix":"10.1109","author":[{"given":"Francesco","family":"Pellei","sequence":"first","affiliation":[{"name":"Politecnico di Milano,Dipartimento di Elettronica, Informazione e Bioingegneria,Milan,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Nagy","family":"Abdelkhalek Mansour","sequence":"additional","affiliation":[{"name":"Politecnico di Milano,Dipartimento di Elettronica, Informazione e Bioingegneria,Milan,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Ragaini","sequence":"additional","affiliation":[{"name":"ABB S.p.A.,Bergamo,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuele","family":"Grillo","sequence":"additional","affiliation":[{"name":"Politecnico di Milano,Dipartimento di Elettronica, Informazione e Bioingegneria,Milan,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Rossi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano,Dipartimento di Meccanica,Milano,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE58978.2023.00020"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/EEEIC\/ICPSEurope57605.2023.10194608"},{"key":"ref3","first-page":"125","article-title":"Uppaal 4.0","volume-title":"Proc. of the Int. Conf. on the Quantitative Evaluation of Systems","author":"Behrmann"},{"volume-title":"Principles of Model Checking","year":"2008","author":"Baier","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/AITC.2019.8920978"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80473-0"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/S1571-0661(04)80477-8","article-title":"Parking can get you there faster - model augmentation to speed up real-time model-checking","author":"M\u00f6ller","year":"2002","journal-title":"Electron. Notes Theor. Comput. Sci"},{"key":"ref8","first-page":"35","article-title":"Introducing machine learning","author":"Lawrynowicz","year":"2014","journal-title":"Perspectives on Ontology Learning"},{"journal-title":"Learning From Data - A Short Course","year":"2012","author":"Abu-Mostafa","key":"ref9"}],"event":{"name":"2024 IEEE PES Innovative Smart Grid Technologies Europe (ISGT EUROPE)","start":{"date-parts":[[2024,10,14]]},"location":"Dubrovnik, Croatia","end":{"date-parts":[[2024,10,17]]}},"container-title":["2024 IEEE PES Innovative Smart Grid Technologies Europe (ISGT EUROPE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10861900\/10861888\/10863157.pdf?arnumber=10863157","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T06:53:57Z","timestamp":1739343237000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10863157\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,14]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/isgteurope62998.2024.10863157","relation":{},"subject":[],"published":{"date-parts":[[2024,10,14]]}}}