{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T05:14:56Z","timestamp":1725772496769},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/smartgridcomm.2018.8587457","type":"proceedings-article","created":{"date-parts":[[2018,12,27]],"date-time":"2018-12-27T22:58:36Z","timestamp":1545951516000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["Automating Smart Grid Solution Architecture Design"],"prefix":"10.1109","author":[{"given":"Massimiliano","family":"Masi","sequence":"first","affiliation":[]},{"given":"Tanja","family":"Pavleska","sequence":"additional","affiliation":[]},{"given":"Helder","family":"Aranha","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Formats and Signatures for REM ETSI Technical Std","article-title":"Electronic Signatures and Infrastructures (ESI) - Registered Electronic Mail (REM) - Part 2: Data requirements","year":"0","key":"ref10"},{"year":"0","key":"ref11","article-title":"Communication networks and systems for power utility automation - Part 8-1: Specific communication service mapping (SCSM) - Mappings to MMS (ISO 9506-1 and ISO 9506-2) and to ISO\/IEC 8802-3, IEC Std"},{"year":"2018","key":"ref12","article-title":"The Z3 Theorem Prover"},{"journal-title":"The Satisfiability Modulo Theories Library (SMT-LIB)","year":"2016","author":"barrett","key":"ref13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SmartGridComm.2017.8340674"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-49229-2","author":"gottschalk","year":"2017","journal-title":"The Use Case and Smart Grid Architecture Model Approach"},{"year":"2017","key":"ref6","article-title":"IHE IT Infrastructure (ITI) Technical Framework v14"},{"year":"2018","key":"ref5","article-title":"The Open Group Architectural Framework version 9.2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27152-1_4"},{"year":"2017","key":"ref7","article-title":"e-SENS pilots pave the way for secure access to cross border e-Health services"},{"year":"2012","key":"ref2","article-title":"Smart Grid Reference Architecture"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2017.2710481"},{"year":"2015","key":"ref9","article-title":"Whitepaper on Non-repudiation"}],"event":{"name":"2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)","start":{"date-parts":[[2018,10,29]]},"location":"Aalborg","end":{"date-parts":[[2018,10,31]]}},"container-title":["2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8580358\/8587411\/08587457.pdf?arnumber=8587457","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T15:54:10Z","timestamp":1643298850000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8587457\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/smartgridcomm.2018.8587457","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}