{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:19Z","timestamp":1725475879202},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676690"},{"type":"electronic","value":"9783540450986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722060_17","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T00:00:28Z","timestamp":1167436828000},"page":"173-184","source":"Crossref","is-referenced-by-count":0,"title":["Constructing Reliable Embedded Systems Using the Results of System Safety Analysis"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Mauri","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Scheer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","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., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol.\u00a01698, pp. 139\u2013152. Springer, Heidelberg (1999)"},{"key":"17_CR2","unstructured":"Kletz, T.: HAZOP and HAZAN: Identifying and Assessing Process Industry Standards, 3rd edn. Hemisphere Publishers (1992) ISBN: 1-56032-276-4"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Scheer, S., Maier, T.: Towards Dependable Software Requirement Specifications. In: Daniel, P. (ed.) Proceedings of SAFECOMP 1997, New York (1997)","DOI":"10.1007\/978-1-4471-0997-6_4"},{"key":"17_CR4","unstructured":"Palady, P.: Failure Modes and Effects Analysis. PT Publications (1995) ISBN: 0-94545-617-4"},{"key":"17_CR5","volume-title":"Reliability, Availability Maintainability and Safety Assessment","author":"A. Villemeur","year":"1992","unstructured":"Villemeur, A.: Reliability, Availability Maintainability and Safety Assessment. John Wiley and Sons Ltd., Chichester (1992) ISBN 0-471-93048-2"},{"key":"17_CR6","unstructured":"Vesely, W.E.: Fault Tree Handbook, US Nuclear Regulatory Committee Report NUREG-0492, US NRC Washington D.C., USA (1981)"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0164-1212(83)90030-4","volume":"3","author":"N.G. Leveson","year":"1983","unstructured":"Leveson, N.G., Harvey, P.R.: Software Fault Tree Analysis. Journal of Systems and Software\u00a0(3), 173\u2013181 (1983)","journal-title":"Journal of Systems and Software"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Mauri, G., McDermid, J.A., Papadopoulos, Y.: Extension of Hazard and Safety Analysis Techniques to Address Problems of Hierarchical Scale. In: Proceedings of IEE Colloquium on Systems Engineering of Aerospace Projects, IEE Digest no: 98\/249, London, pp. 4.1\/4.6 (1998)","DOI":"10.1049\/ic:19980279"},{"key":"17_CR9","series-title":"Advances in Computing Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-7091-6355-9_6","volume-title":"Tool Support for System Specification, Development and Verification","author":"S. Contini","year":"1999","unstructured":"Contini, S., Scheer, S., Wilikens, M., de Cola, G., Cojazzi, G.: ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies. In: Berghammer, R., Lakhnech, Y. (eds.) Tool Support for System Specification, Development and Verification. Advances in Computing Science, pp. 77\u201391. Springer, Heidelberg (1999)"},{"key":"17_CR10","unstructured":"Papadopoulos, Y., Mauri, G., McDermid, J.A.: Systematic Anticipation and Validation of Scenarios of Failure Propagation and Mitigation in PLC Controlled Processes. In: Proceedings of the PLC Conference, Cologne (2000)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies Ada-Europe 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722060_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T10:28:29Z","timestamp":1553336909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722060_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676690","9783540450986"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/10722060_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}