{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:55:16Z","timestamp":1725519316028},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540883869"},{"type":"electronic","value":"9783540883876"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88387-6_27","type":"book-chapter","created":{"date-parts":[[2008,10,10]],"date-time":"2008-10-10T05:42:45Z","timestamp":1223617365000},"page":"303-317","source":"Crossref","is-referenced-by-count":10,"title":["Model Based Importance Analysis for Minimal Cut Sets"],"prefix":"10.1007","author":[{"given":"Eckard","family":"B\u00f6de","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Peikenkamp","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Rakow","sequence":"additional","affiliation":[]},{"given":"Samuel","family":"Wischmeyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"\u00c5kerlund, O., et al.: ISAAC, a framework for integrated safety analyses of functional, geometrical and human aspects. ERTS (2006)"},{"key":"27_CR2","unstructured":"Vesely, W.E., Dugan, J., Fragola, J., Minarick III, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. National Aeronatics and Space Administration (August 2002)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/11875567_21","volume-title":"Computer Safety, Reliability, and Security","author":"T. Peikenkamp","year":"2006","unstructured":"Peikenkamp, T., Cavallo, A., Valacca, L., B\u00f6de, E., Pretzer, M., Hahn, E.M.: Towards a unified model-based safety assessment. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 275\u2013288. Springer, Heidelberg (2006)"},{"key":"27_CR4","first-page":"167","volume-title":"3rd International Conference on the Quantitative Evaluation of Systems, QEST 2006","author":"E. B\u00f6de","year":"2006","unstructured":"B\u00f6de, E., Herbstritt, M., Hermanns, H., Johr, S., Peikenkamp, T., Pulungan, R., Wimmer, R., Becker, B.: Compositional performability evaluation for statemate. In: 3rd International Conference on the Quantitative Evaluation of Systems, QEST 2006, Riverside (USA), pp. 167\u2013178. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"27_CR5","unstructured":"B\u00f6de, E., Herbstritt, M., Hermanns, H., Johr, S., Peikenkamp, T., Pulungan, R., Rakow, J., Wimmer, R., Becker, B.: Compositional performability evaluation for statemate. In: Quantitative Evaluation of Computer Systems - Special issue of IEEE Transactions on Software Engineering (to appear, 2008)"},{"key":"27_CR6","volume-title":"Modelling Reactive Systems with Statecharts: The STATEMATE Approach","author":"D. Harel","year":"1998","unstructured":"Harel, D., Politi, M.: Modelling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill, New York (1998)"},{"issue":"1","key":"27_CR7","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0167-6423(99)00019-2","volume":"36","author":"H. Hermanns","year":"2000","unstructured":"Hermanns, H., Katoen, J.P.: Automated compositional markov chain generation for a plain-old telephone system. Science of Computer Programming\u00a036(1), 97\u2013127 (2000)","journal-title":"Science of Computer Programming"},{"key":"27_CR8","unstructured":"Pulungan, R., Hermanns, H.: Orthogonal distance fitting for phase-type distributions. Reports of SFB\/TR 14 AVACS\u00a010, SFB\/TR 14 AVACS (November 2006) ISSN: 1860-9821, \n                    \n                      http:\/\/www.avacs.org"},{"key":"27_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45804-2","volume-title":"Interactive Markov Chains \u2013 The Quest for Quantified Quality","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains \u2013 The Quest for Quantified Quality. LNCS, vol.\u00a02428. Springer, Heidelberg (2002)"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Hermanns, H., Johr, S.: Uniformity by construction in the analysis of nondeterministic stochastic systems. In: International Conference on Dependable Systems and Networks, DSN 2007 (2007)","DOI":"10.1109\/DSN.2007.96"},{"key":"27_CR11","first-page":"708","volume-title":"DSN 2007: Proceedings of the 37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks","author":"H. Boudali","year":"2007","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: Dynamic fault tree analysis using input\/output interactive markov chains. In: DSN 2007: Proceedings of the 37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, Washington, DC, USA, pp. 708\u2013717. IEEE Computer Society Press, Los Alamitos (2007)"},{"issue":"4","key":"27_CR12","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"27_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"issue":"3","key":"27_CR14","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R. Glabbeek","year":"1996","unstructured":"Glabbeek, R., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. Journal of the ACM\u00a043(3), 555\u2013600 (1996)","journal-title":"Journal of the ACM"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/11901914_35","volume-title":"Automated Technology for Verification and Analysis","author":"R. Wimmer","year":"2006","unstructured":"Wimmer, R., Herbstritt, M., Hermanns, H., Strampp, K., Becker, B.: Sigref \u2013 a symbolic bisimulation tool box. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol.\u00a04218, pp. 477\u2013492. Springer, Heidelberg (2006)"},{"key":"27_CR16","unstructured":"Hermanns, H., Johr, S.: May we reach it? or must we? in what time? with what probability? In: Proceedings 14th GI\/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), Dortmund, Germany, March 31 - April 2, 2008, VDE Verlag (to appear, 2008)"},{"key":"27_CR17","unstructured":"Johr, S.: Model Checking Compositional Markov Systems. PhD thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken (2007)"},{"key":"27_CR18","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/QEST.2005.2","volume-title":"Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005)","author":"J.P. Katoen","year":"2005","unstructured":"Katoen, J.P., Khattri, M., Zapreev, I.S.: A markov reward model checker. In: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), Torino, Italy, 19-22 September 2005, pp. 243\u2013244. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"27_CR19","unstructured":"ERTMS User Group, UNISIG: ETCS Application Level 2 - Safety Analysis - Part 1 - Functional Fault Tree. Technical report, ALCATEL,ALSTOM,ANSALDO SIGNAL,BOMBARDIER,INVENSYS RAIL,SIEMENS"},{"key":"27_CR20","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. European Assoc.\u00a0for Software Science and Technology (EASST) Newsletter\u00a04, 13\u201324 (2002)","journal-title":"European Assoc.\u00a0for Software Science and Technology (EASST) Newsletter"},{"key":"27_CR21","unstructured":"BCG_MIN: Project Website (March 2006), \n                    \n                      http:\/\/www.inrialpes.fr\/vasy\/cadp\/man\/bcg_min.html"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88387-6_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T16:51:25Z","timestamp":1551631885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88387-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540883869","9783540883876"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88387-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}