{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T14:28:35Z","timestamp":1754144915564,"version":"3.41.2"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T00:00:00Z","timestamp":1748995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T00:00:00Z","timestamp":1748995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100009950","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009950","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,4]]},"DOI":"10.1109\/eurocon64445.2025.11073303","type":"proceedings-article","created":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T17:40:21Z","timestamp":1752601221000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Formal Model of Energy System using Attack Trees"],"prefix":"10.1109","author":[{"given":"Aliyu Tanko","family":"Ali","sequence":"first","affiliation":[{"name":"ISP University zu Lübeck,Lübeck,Germany"}]},{"given":"Damas","family":"Gruska","sequence":"additional","affiliation":[{"name":"DAI, FMFI Comenius University in Bratislava,Bratislava,Slovakia"}]},{"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[{"name":"ISP University zu Lübeck,Lübeck,Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CCWC54503.2022.9720758"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.etran.2022.100198"},{"key":"ref3","article-title":"Attack Protection Tree","author":"Ali","year":"2019","journal-title":"*Proceedings of CS&P*"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IRTM54583.2022.9791783"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ITEC.2014.6861810"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.solcom.2024.100100"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1049\/iet-stg.2019.0084"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpowsour.2004.12.025"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2012.11.042"},{"issue":"4","key":"ref11","first-page":"1801","article-title":"Optimized scheduling of EV charging in solarpowered microgrids using genetic algorithms","volume":"6","author":"Habib","year":"2015","journal-title":"IEEE Transactions on Smart Grid"},{"key":"ref12","article-title":"A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab","volume":"3507","author":"Thoma","year":"2023","journal-title":"*FMDT@ FM*"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1126\/science.162.3859.1243"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2010.2080329"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ESTS.2013.6523704"},{"issue":"12","key":"ref16","first-page":"21","article-title":"Attack trees","volume":"24","author":"Schneier","year":"1999","journal-title":"Dr. Dobb\u2019s Journal"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/UEMCON.2017.8249049"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619671"}],"event":{"name":"IEEE EUROCON 2025 - 21st International Conference on Smart Technologies","start":{"date-parts":[[2025,6,4]]},"location":"Gdynia, Poland","end":{"date-parts":[[2025,6,6]]}},"container-title":["IEEE EUROCON 2025 - 21st International Conference on Smart Technologies"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11073124\/11073193\/11073303.pdf?arnumber=11073303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T05:58:48Z","timestamp":1752645528000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11073303\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,4]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/eurocon64445.2025.11073303","relation":{},"subject":[],"published":{"date-parts":[[2025,6,4]]}}}