{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T20:55:48Z","timestamp":1725828948561},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319242484"},{"type":"electronic","value":"9783319242491"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24249-1_28","type":"book-chapter","created":{"date-parts":[[2015,9,7]],"date-time":"2015-09-07T07:43:15Z","timestamp":1441611795000},"page":"324-334","source":"Crossref","is-referenced-by-count":0,"title":["Optimization of Reconfiguration Mechanisms in Critical Infrastructures"],"prefix":"10.1007","author":[{"given":"Szilvia","family":"Varr\u00f3-Gyapay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel L\u00e1szl\u00f3","family":"Magyar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Melinda","family":"Kocsis-Magyar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katalin","family":"Tasi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Attila Hoangthanh","family":"Dinh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1gota","family":"Bausz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L\u00e1szl\u00f3","family":"G\u00f6nczy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,9]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Fenz, S., Ekelhart, A.: Formalizing information security knowledge. In: ASIACCS 2009, pp. 183\u2013194 (2009)","DOI":"10.1145\/1533057.1533084"},{"key":"28_CR2","unstructured":"Associazione Italiana Esperti Infrastrutture Critiche. Gruppo di Lavoro, Piano Sicurezza Operatore, Data Model (2013) \n                      http:\/\/www.infrastrutturecritiche.it\/aiic\/index.php?option=com_docman&task=doc_view&gid=536&tmpl=component&format=raw&Itemid=103"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., Tohdo, T.: An approach to optimization of fault tolerant architectures using HiP-HOPS. Softw., Pract. Exper. 41(11), 1303\u20131327","DOI":"10.1002\/spe.1044"},{"key":"28_CR4","unstructured":"Dinh, A.H., Magyar, D.L., Varr\u00f3-Gyapay, S., G\u00f6nczy, L., Pataricza, A.: Optimization of Systems with Dynamic Structures, ASCONIKK, Information Security, pp. 11\u201318 (2014)"},{"key":"28_CR5","unstructured":"Zhong, L., Mora-Camino, F.: On-Line Optimization for Fault Tolerant Flight Control, Procedia Engineering, ISAA2013 80, 638\u2013655 (2014)"},{"key":"28_CR6","doi-asserted-by":"publisher","first-page":"S313","DOI":"10.1016\/S0098-1354(09)80037-9","volume":"16","author":"F Friedler","year":"1992","unstructured":"Friedler, F., Tarjan, K., Huang, Y.W., Fan, L.T.: Combinatorial algorithms for process synthesis. Comput. Chem. Eng. 16, S313\u2013S320 (1992)","journal-title":"Comput. Chem. Eng."},{"key":"28_CR7","unstructured":"Xtext. \n                      https:\/\/eclipse.org\/Xtext\/"},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dep. Secur. Comput. 1, 11\u201333 (2004)","journal-title":"IEEE Trans. Dep. Secur. Comput."},{"issue":"2","key":"28_CR9","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. (TOSEM) 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Russell, K.J., Broadwater, R.P.: Model-based automated reconfiguration for fault isolation and restoration. In: 2012 IEEE PES Innovative Smart Grid Technologies (ISGT), IEEE (2012)","DOI":"10.1109\/ISGT.2012.6175702"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24249-1_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T18:12:35Z","timestamp":1559239955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24249-1_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242484","9783319242491"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24249-1_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}