{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T10:15:59Z","timestamp":1770977759953,"version":"3.50.1"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1109\/coase.2018.8560551","type":"proceedings-article","created":{"date-parts":[[2018,12,12]],"date-time":"2018-12-12T20:00:52Z","timestamp":1544644852000},"page":"1158-1163","source":"Crossref","is-referenced-by-count":2,"title":["Constructing Dependability Analysis Models of Reconfigurable Production Systems"],"prefix":"10.1109","author":[{"given":"Kristof","family":"Marussy","sequence":"first","affiliation":[]},{"given":"Istvan","family":"Majzik","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-7(1:12)2011"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.108"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2006.890900"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2007.903268"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0163-1"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2015.04.003"},{"key":"ref10","article-title":"A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems","volume":"2","author":"marsan","year":"1984","journal-title":"ACM Trans Comput Syst"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"87","DOI":"10.3233\/FI-2015-1171","article-title":"Generalizing the compositions of Petri nets modules","volume":"137","author":"marechal","year":"2015","journal-title":"Fundam Inform"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"ref13","first-page":"101","article-title":"VIATRA 3: A reactive model transformation platform","volume":"9152","author":"bergmann","year":"2015","journal-title":"ICMT 2015 ser LNCS"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989813"},{"key":"ref15","author":"steinberg","year":"2009","journal-title":"EMF Eclipse Modeling Framework"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(93)90026-Q"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.004"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/24.249576"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02424-5_5"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.04.063"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2017-0040"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.04.001"},{"key":"ref3","first-page":"95","article-title":"Taxonomy of evolution and dependability","author":"felici","year":"0","journal-title":"Proc 2nd Workshop Unanticip Softw Evol"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2009.07.007"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2017.8247673"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809476"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.05.004"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379778"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.08.026"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/24.814518"},{"key":"ref1","first-page":"166","author":"liebel","year":"2014","journal-title":"Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"ref22","author":"ehrig","year":"2006","journal-title":"Fundamentals of Algebraic Graph Transformation"},{"key":"ref21","article-title":"MOF Query\/View\/Transformation Specification","year":"0","journal-title":"Object Management Group Std Rev 1 0"},{"key":"ref24","article-title":"Constructing phased-mission systems for dependability analysis of reconfigurable production systems","author":"marussy","year":"2018","journal-title":"Tech Rep"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2001.970572"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53401-4_5"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.03.066"}],"event":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","location":"Munich, Germany","start":{"date-parts":[[2018,8,20]]},"end":{"date-parts":[[2018,8,24]]}},"container-title":["2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8536777\/8560337\/08560551.pdf?arnumber=8560551","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T17:28:54Z","timestamp":1626888534000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8560551\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/coase.2018.8560551","relation":{},"subject":[],"published":{"date-parts":[[2018,8]]}}}