{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:25:10Z","timestamp":1743027910051,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642375019"},{"type":"electronic","value":"9783642375026"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37502-6_77","type":"book-chapter","created":{"date-parts":[[2013,5,7]],"date-time":"2013-05-07T08:25:55Z","timestamp":1367915155000},"page":"641-649","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Hierarchical Modeling Fault-Error-Failure Dependencies for Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Shixi","family":"Liu","sequence":"first","affiliation":[]},{"given":"Xiaojing","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Jingming","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,8]]},"reference":[{"key":"77_CR1","unstructured":"Johnson TT, Mitra S (2009) Handling failures in cyber-physical systems: potential directions. Presented at RTSS 2009 PhD student forum"},{"key":"77_CR2","unstructured":"Bernardi S (2003) Building Stochastic Petri Net models for the verification of complex software systems. PhD thesis, Dipartimento di Informatica, Universit`a di Torino"},{"key":"77_CR3","doi-asserted-by":"crossref","unstructured":"Ge X, Paige R, McDermid J (2010) Analysing system failure behaviours with PRISM. In: International conference on secure software integration and reliability improvement companion, pp 130\u2013136","DOI":"10.1109\/SSIRI-C.2010.32"},{"key":"77_CR4","unstructured":"Briesemeister L, Denker G, Elenius D, Mason I, Varadarajan S, Bhatt D, Hall B, Madl G, Steiner W (2011) Quantitative fault propagation analysis for networked cyber-physical systems. In: 2nd analytic virtual integration of cyber-physical systems workshop (AVICPS)"},{"issue":"4","key":"77_CR5","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MS.2001.936213","volume":"18","author":"L Sha","year":"2001","unstructured":"Sha L (2001) Using simplicity to control complexity. IEEE Softw 18(4):20\u201328","journal-title":"IEEE Softw"},{"issue":"2","key":"77_CR6","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/j.comcom.2010.03.034","volume":"34","author":"C-F Laia","year":"2011","unstructured":"Laia C-F, Maa Y-W, Changa S-Y, Chaob H-C, Huanga Y-M (2011) OSGi-based services architecture for Cyber-Physical Home Control Systems. Comput Commun 34(2):184\u2013191","journal-title":"Comput Commun"},{"issue":"4","key":"77_CR7","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis, and applications [J]. Proc of the IEEE 77(4):541\u2013580","journal-title":"Proc of the IEEE"},{"key":"77_CR8","doi-asserted-by":"crossref","unstructured":"Betous-Almeida C, Kanoun K (2001) Dependability evaluation: from functional to structural modelling. In: Proceedings of the 20th international conference on computer safety, reliability and security (SAFECOMP 2001), LNCS 2187, pp 227\u2013237","DOI":"10.1007\/3-540-45416-0_22"}],"container-title":["Advances in Intelligent Systems and Computing","Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37502-6_77","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T15:16:14Z","timestamp":1675782974000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37502-6_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642375019","9783642375026"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37502-6_77","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"8 May 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}