{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:49:18Z","timestamp":1725536958098},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642035517"},{"type":"electronic","value":"9783642035524"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03552-4_32","type":"book-chapter","created":{"date-parts":[[2009,8,28]],"date-time":"2009-08-28T21:36:51Z","timestamp":1251495411000},"page":"336-343","source":"Crossref","is-referenced-by-count":4,"title":["A Study on Multiformalism Modeling of Critical Infrastructures"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Flammini","sequence":"first","affiliation":[]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[]},{"given":"Concetta","family":"Pragliola","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-25959-6_21","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"J. Lara de","year":"2004","unstructured":"de Lara, J., Guerra, E., Vangheluwe, H.: Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 292\u2013298. Springer, Heidelberg (2004)"},{"unstructured":"Di Lorenzo, G., Flammini, F., Iacono, M., Marrone, S., Moscato, F., Vittorini, V.: The software architecture of the OsMoSys multisolution framework. In: Proc. 2nd Intl. Conf. on Perf. Evaluation Meth. & Tools, VALUETOOLS 2007, pp. 1\u201310 (2007)","key":"32_CR2"},{"issue":"3","key":"32_CR3","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1061\/(ASCE)1076-0342(2000)6:3(114)","volume":"6","author":"B. Ezell","year":"2000","unstructured":"Ezell, B., Farr, J., Wiese, I.: Infrastructure Risk Analysis Model. Journal of Infrastructure Systems\u00a06(3), 114\u2013117 (2000)","journal-title":"Journal of Infrastructure Systems"},{"doi-asserted-by":"crossref","unstructured":"Flammini, F., Iacono, M., Marrone, S., Mazzocca, N.: Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems. In: Proceedings of the 9th IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), Heidelberg, Germany, pp. 163\u2013172 (2005)","key":"32_CR4","DOI":"10.1109\/HASE.2005.26"},{"unstructured":"Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V.: Modelling Structural Reliability Aspects of ERTMS\/ETCS by Fault Trees and Bayesian Networks. In: Proc. of the European Safety & Reliability Conference, ESREL 2006 (2006)","key":"32_CR5"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-540-39656-7_19","volume-title":"Formal Methods for Components and Objects","author":"G. G\u00f6ssler","year":"2003","unstructured":"G\u00f6ssler, G., Sifakis, J.: Composition for Component-Based Modeling. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 443\u2013466. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Mengting, Y., Chao, Y.: Model Checking Multi-agent Systems. In: Proc. of Intl. Conf. Service Systems and Service Management, pp. 1\u20135 (2007)","key":"32_CR7","DOI":"10.1109\/ICSSSM.2007.4280183"},{"issue":"3&4","key":"32_CR8","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0166-5316(92)90002-X","volume":"14","author":"J.F. Meyer","year":"1992","unstructured":"Meyer, J.F.: Performability: a retrospective and some pointers to the future. Performance Evaluation\u00a014(3&4), 139\u2013156 (1992)","journal-title":"Performance Evaluation"},{"issue":"1","key":"32_CR9","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TDSC.2004.11","volume":"1","author":"D.M. Nicol","year":"2004","unstructured":"Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-based evaluation: from dependability to security. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 48\u201365 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"unstructured":"Pederson, P., Dudenhoeffer, D., Hartley, S., Permann, M.: Critical Infrastructure Interdependency Modeling: A Survey of U.S. and International Research, INL Technical Document: INL\/EXT-06-11464 (2006)","key":"32_CR10"},{"doi-asserted-by":"crossref","unstructured":"Sanders, W.H.: Integrated Frameworks for Multi-Level and Multi-Formalism Modeling. In: Proc. of the 8th Intl. Workshop on Petri Nets and Performance Models, p. 2 (1999)","key":"32_CR11","DOI":"10.1109\/PNPM.1999.796527"}],"container-title":["Lecture Notes in Computer Science","Critical Information Infrastructure Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03552-4_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T10:51:59Z","timestamp":1552128719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03552-4_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642035517","9783642035524"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03552-4_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}