{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T20:40:01Z","timestamp":1756154401238,"version":"3.44.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"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":[[2012,6]]},"DOI":"10.1109\/se4sg.2012.6225719","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:25:12Z","timestamp":1341854712000},"page":"50-56","source":"Crossref","is-referenced-by-count":19,"title":["Applying formal software engineering techniques to smart grids"],"prefix":"10.1109","author":[{"given":"Georg","family":"Hackenberg","sequence":"first","affiliation":[{"name":"Fakultät für Informatik, Technische Universität München, Munich, Germany"}]},{"given":"Maximilian","family":"Irlbeck","sequence":"additional","affiliation":[{"name":"Fakultät für Informatik, Technische Universität München, Munich, Germany"}]},{"given":"Vasileios","family":"Koutsoumpas","sequence":"additional","affiliation":[{"name":"Fakultät für Informatik, Technische Universität München, Munich, Germany"}]},{"given":"Denis","family":"Bytschkow","sequence":"additional","affiliation":[{"name":"Fortiss GmbH, Munich, Germany"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2010.2045906"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.14"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/PTC.2009.5281849"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.007"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1002\/0470020598","author":"kirschen","year":"2004","journal-title":"Fundamentals of Power System Economics"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","author":"broy","year":"2001","journal-title":"Specification and Development of Interactive Systems FOCUS on Streams Interfaces and Refinement"},{"key":"14","article-title":"A system for seamless abstraction layers for model-based development of embedded software","author":"thyssen","year":"0","journal-title":"Envision 2020 Workshop 2010"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844427"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2010.32014"},{"key":"3","article-title":"Softwareentwicklung fu?r eingebettete systeme mit strukturierten komponenten. teil 1: Komponentenorientierte zerlegung","author":"eberle","year":"0","journal-title":"Atp - Automatisierungstechnische Praxis 46 (2004)"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/PSCE.2009.4840087"},{"key":"2","article-title":"Komponentenbasierte entwicklung von automatisierungssystemen","author":"go?hner","year":"1998","journal-title":"GMA-Kongress 98 Ludwigsburg Juni 1998"},{"journal-title":"NIST Framework and Roadmap for Smart Grid Interoperability Standards","year":"2010","key":"1"},{"journal-title":"OMG Systems Modeling Language (OMG SysML) Version 1 2","year":"0","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s001659970003"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"journal-title":"OMG Unified Modeling Language (OMG UML) Superstructure Specification - Version 2 3","year":"2010","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248708"},{"key":"9","article-title":"Enabling multiview modeling with sysml profiles and model transformations","author":"shah","year":"0","journal-title":"International Conf on Product Lifecycie Management 2009"},{"key":"8","first-page":"756","article-title":"Formalising uml state machines for model checking","volume":"1723","author":"lilius","year":"1999","journal-title":"Lecture Notes in Computer Science"}],"event":{"name":"2012 International Workshop on Software Engineering for the Smart Grid (SE4SG)","start":{"date-parts":[[2012,6,3]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,3]]}},"container-title":["2012 First International Workshop on Software Engineering Challenges for the Smart Grid (SE-SmartGrids)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218999\/6225709\/06225719.pdf?arnumber=6225719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T20:15:33Z","timestamp":1756152933000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6225719\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/se4sg.2012.6225719","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}