{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T12:33:50Z","timestamp":1762000430561,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319641188"},{"type":"electronic","value":"9783319641195"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-64119-5_11","type":"book-chapter","created":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T13:05:09Z","timestamp":1501592709000},"page":"163-178","source":"Crossref","is-referenced-by-count":16,"title":["A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies"],"prefix":"10.1007","author":[{"given":"Sohag","family":"Kabir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Walker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Parker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose Ignacio","family":"Aizpurua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Lampe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erich","family":"R\u00fcde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,2]]},"reference":[{"key":"11_CR1","unstructured":"Vesely, W.E., Stamatelatos, M., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA office of safety and mission assurance, Washington D.C. (2002)"},{"key":"11_CR2","unstructured":"Joshi, A., Heimdahl, M.P.E., Miller, S.P., Whalen, M.W.: Model-based safety analysis. NASA Technical report, Hampton, VA, USA (2006)"},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0164-1212(93)90029-W","volume":"21","author":"P Fenelon","year":"1993","unstructured":"Fenelon, P., McDermid, J.A.: An integrated toolset for software safety analysis. J. Syst. Softw. 21, 279\u2013290 (1993)","journal-title":"J. Syst. Softw."},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"Computer Safety, Reliability and Security","author":"Y Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139\u2013152. Springer, Heidelberg (1999). doi: 10.1007\/3-540-48249-0_13"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/FI-1999-402302","volume":"40","author":"A Arnold","year":"2000","unstructured":"Arnold, A., Point, G., Griffault, A., Rauzy, A.: The AltaRica formalism for describing concurrent systems. Fundam. Inform. 40, 109\u2013124 (2000)","journal-title":"Fundam. Inform."},{"key":"11_CR6","first-page":"5","volume":"9","author":"M Bozzano","year":"2007","unstructured":"Bozzano, M., Villafiorita, A.: The FSAP\/NuSMV-SA safety analysis platform. Int. J. Softw. Tools Technol. Transf. Spec. Sect. Adv. Autom. Verif. Crit. Syst. 9, 5\u201324 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf. Spec. Sect. Adv. Autom. Verif. Crit. Syst."},{"key":"11_CR7","unstructured":"Feiler, P., Rugina, A.: Dependability modeling with the architecture analysis & design language (AADL). Technical report, Carnegie Mellon University (2007)"},{"key":"11_CR8","first-page":"12","volume":"6","author":"JI Aizpurua","year":"2013","unstructured":"Aizpurua, J.I., Muxika, E.: Model-based design of dependable systems: limitations and evolution of analysis and verification approaches. Int. J. Adv. Secur. 6, 12\u201331 (2013)","journal-title":"Int. J. Adv. Secur."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Sharvia, S., Kabir, S., Walker, M., Papadopoulos, Y.: Model-based dependability analysis: state-of-the-art, challenges, and future outlook. In: Software Quality Assurance: In Large Scale and Complex Software-Intensive Systems, pp. 251\u2013278 (2015)","DOI":"10.1016\/B978-0-12-802301-3.00012-0"},{"key":"11_CR10","unstructured":"Walker, M.: Pandora: a logic for the qualitative analysis of temporal fault trees. Ph.D. thesis, University of Hull (2009)"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0951-8320(02)00042-X","volume":"78","author":"A Rauzy","year":"2002","unstructured":"Rauzy, A.: Mode automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78, 1\u201312 (2002)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1016\/j.arcontrol.2016.04.008","volume":"41","author":"Y Papadopoulos","year":"2016","unstructured":"Papadopoulos, Y., Walker, M., Parker, D., Sharvia, S., Bottaci, L., Kabir, S., Azevedo, L., Sorokos, I.: A synthesis of logic and bio-inspired techniques in the design of dependable systems. Ann. Rev. Control 41, 170\u2013182 (2016)","journal-title":"Ann. Rev. Control"},{"key":"11_CR13","first-page":"229","volume":"71","author":"Y Papadopoulos","year":"2001","unstructured":"Papadopoulos, Y., Mcdermid, J., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. RESS 71, 229\u2013247 (2001)","journal-title":"RESS"},{"key":"11_CR14","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete-event models. IEEE Trans. Control Syst. Technol. 4, 105\u2013124 (1996)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"11_CR15","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1016\/j.ifacol.2015.09.569","volume":"48","author":"S Kabir","year":"2015","unstructured":"Kabir, S., Walker, M., Papadopoulos, Y.: Quantitative evaluation of pandora temporal fault trees via petri nets. IFAC-PapersOnLine 48, 458\u2013463 (2015)","journal-title":"IFAC-PapersOnLine"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-319-12214-4_8","volume-title":"Model-Based Safety and Assessment","author":"S Kabir","year":"2014","unstructured":"Kabir, S., Walker, M., Papadopoulos, Y.: Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 96\u2013109. Springer, Cham (2014). doi: 10.1007\/978-3-319-12214-4_8"},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/S0951-8320(00)00017-X","volume":"68","author":"PE Labeau","year":"2000","unstructured":"Labeau, P.E., Smidts, C., Swaminathan, S.: Dynamic reliability: towards an integrated platform for probabilistic risk assessment. Reliab. Eng. Syst. Saf. 68, 219\u2013254 (2000)","journal-title":"Reliab. Eng. Syst. Saf."}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64119-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T00:07:57Z","timestamp":1602634077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64119-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319641188","9783319641195"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64119-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}