{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:23:40Z","timestamp":1762521820359,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/indin.2015.7281773","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T17:59:09Z","timestamp":1443722349000},"page":"430-436","source":"Crossref","is-referenced-by-count":6,"title":["A hierarchical domain model for safety-critical cyber-physical systems in process automation"],"prefix":"10.1109","author":[{"given":"Dirk","family":"Kuschnerus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Attila","family":"Bilgic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Bruns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Musch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2000367.2000374"},{"key":"ref11","first-page":"328","article-title":"Modelling a real-time control system using parameterized linear hybrid automata","author":"schwarz","year":"2011","journal-title":"INFORMATIK 2011"},{"key":"ref12","first-page":"15","article-title":"Model-based control design and integration of cyber-physical systems: An adaptive cruise control case study","volume":"2013","author":"eyisi","year":"2013","journal-title":"Journal of Contr Science and Engineering"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161529"},{"key":"ref14","article-title":"OpenMETA: A model-and component-based design tool chain for cyber-physical systems","volume":"8415","author":"sztipanovits","year":"2014","journal-title":"LNCS"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-416619-6.00008-0"},{"key":"ref16","first-page":"23","article-title":"A multidisciplinary design methodology for cyber-physical systems","author":"slomka","year":"2011","journal-title":"Proc ACE 2011"},{"article-title":"Models and algorithms for cyber-physical systems","year":"2013","author":"gujrati","key":"ref17"},{"article-title":"Model based safety analysis and verification of cyber-physical systems","year":"2012","author":"banerjee","key":"ref18"},{"key":"ref19","article-title":"Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using polychrony","author":"besnard","year":"2014","journal-title":"Sci Comp Prog"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05624-1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"ref6","first-page":"68","article-title":"Systematic mapping studies in software engineering","author":"petersen","year":"2008","journal-title":"Proc EASE'08"},{"journal-title":"Functional safety of electrical\/electronic\/programmable electronic safety-related systems IEC Std 61 508","year":"2010","key":"ref5"},{"key":"ref8","article-title":"Guidelines for performing systematic literature reviews in software engineering","author":"kitchenham","year":"2007","journal-title":"Keele Univ Keele UK Tech Rep EBSE-2007-01"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2322503"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2013.11.018"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351672"},{"article-title":"Systematic development of hybrid systems","year":"2001","author":"stauner","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2013.6693666"},{"key":"ref24","article-title":"Process for the preparation of highly pure 2,4’-methylenediphenyldiisocyanate","author":"pirkl","year":"2005","journal-title":"European Patent EP1 561 746A2"},{"key":"ref23","article-title":"Towards a model checker for NesC and wireless sensor networks","volume":"6991","author":"zheng","year":"2011","journal-title":"LNCS"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008330914786"}],"event":{"name":"2015 IEEE 13th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2015,7,22]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2015,7,24]]}},"container-title":["2015 IEEE 13th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7270516\/7281697\/07281773.pdf?arnumber=7281773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T16:50:47Z","timestamp":1490374247000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7281773\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/indin.2015.7281773","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}