{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:35:40Z","timestamp":1729672540297,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/ebccsp.2017.8022809","type":"proceedings-article","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T16:38:38Z","timestamp":1504197518000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["Implementing state machines in distributed event-based systems"],"prefix":"10.1109","author":[{"given":"Holger","family":"Zipper","sequence":"first","affiliation":[]},{"given":"Marco","family":"Meier","sequence":"additional","affiliation":[]},{"given":"Elke","family":"Hintze","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Diedrich","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Partitioning and mapping for embedded multicore system utilization in context of the model based open source development environment platform amalthea","author":"fruhner","year":"2014","journal-title":"Proceedings of the InternationalResearch Conference"},{"journal-title":"Standard Object Management Group","article-title":"OMG Unified Modeling Language","year":"2015","key":"ref11"},{"key":"ref12","volume":"25","author":"liittgen","year":"2000","journal-title":"A compositional approach to statecharts semantics A"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837625"},{"key":"ref14","first-page":"11","article-title":"Design patterns: Elements of reusable object-oriented software","volume":"49","author":"vlissides","year":"1995","journal-title":"Addison-Wesley Reading MA"},{"journal-title":"International Electrotechnical Commission Standard","article-title":"Programmable controllers - Part 3: Programming languages","year":"2013","key":"ref15"},{"journal-title":"International Electrotechnical Commission Standard","article-title":"Function blocks - Part 1: Architecture","year":"2005","key":"ref16"},{"journal-title":"Distributed Systems Principles and Paradigms","year":"2016","author":"tanenbaum","key":"ref17"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"216","DOI":"10.3182\/20130522-3-BR-4036.00071","article-title":"Automation meets cps","volume":"46","author":"riedl","year":"2013","journal-title":"IFAC Proceedings"},{"journal-title":"International Electrotechnical Commission Standard","article-title":"International Electrotechnical Vocabulary - Part 113: Physics for electrotechnology","year":"2011","key":"ref19"},{"journal-title":"International Electrotechnical Commission Standard","article-title":"Industrial communication networks - Fieldbus specifications - Part 6–10: Application layer protocol specification - Type 10 elements","year":"2014","key":"ref4"},{"journal-title":"Theory of Computation Formal Languages Automata and Complexity","year":"1989","author":"brookshear","key":"ref3"},{"journal-title":"International Electrotechnical Commission Standard","article-title":"Functional safety - Safety instrumented systems for the process industry sector","year":"2016","key":"ref6"},{"journal-title":"International Electrotechnical Commission Standard","article-title":"Functional safety of electrical\/electronic\/programmable electronic safety-related systems","year":"2010","key":"ref5"},{"journal-title":"Tdd for embedded systems A basic approach and toolset","year":"2015","author":"de carvalho","key":"ref8"},{"journal-title":"International Standards Organization for Standardization","article-title":"Road vehicles - Functional safety","year":"2011","key":"ref7"},{"journal-title":"Classification of groups generated by 3-state automata over a 2-letter alphabet","year":"2008","author":"bondarenko","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"journal-title":"United States Nuclear Regulatory Commission","article-title":"Review Guidelines for Field-Programmable Gate Arrays in Nuclear Power Plant Safety Systems","year":"2010","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2012.2232354"},{"journal-title":"TO-Link Community Standard","article-title":"Interface and System Specification","year":"2013","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"journal-title":"Rational Rhapsody","year":"2016","key":"ref24"},{"journal-title":"O-Link Community Standard","article-title":"Safety System Extensions Specification","year":"2016","key":"ref23"}],"event":{"name":"2017 3rd International Conference on Event-Based Control, Communication and Signal Processing (EBCCSP)","start":{"date-parts":[[2017,5,24]]},"location":"Funchal, Portugal","end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 3rd International Conference on Event-Based Control, Communication and Signal Processing (EBCCSP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8013515\/8022796\/08022809.pdf?arnumber=8022809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T20:46:52Z","timestamp":1570049212000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8022809\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/ebccsp.2017.8022809","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}