{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:43:12Z","timestamp":1725615792373},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540761914"},{"type":"electronic","value":"9781447109976"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4471-0997-6_22","type":"book-chapter","created":{"date-parts":[[2011,9,30]],"date-time":"2011-09-30T16:07:46Z","timestamp":1317398866000},"page":"281-294","source":"Crossref","is-referenced-by-count":4,"title":["An Object-Based Approach to Modelling and Analysis of Failure Properties"],"prefix":"10.1007","author":[{"given":"M.","family":"\u010cepin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"de Lemos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Mavko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Riddle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Saeed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Object- Oriented Modelling and Design","author":"J Rumbaugh","year":"1991","unstructured":"J Rumbaugh, M Blaha, W Premerlani, F Eddy, and W Lorenson. Object- Oriented Modelling and Design. Prentice-Hall International Inc., New Jersey, 1991."},{"issue":"3","key":"22_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1111\/1467-8659.1230025","volume":"12","author":"D Duke","year":"1993","unstructured":"D Duke and MD Harrison. Abstract interaction objects. Computer Graphics Forum, 12(3):25\u201336, 1993.","journal-title":"Computer Graphics Forum"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"R de Lemos, B Fields, and A Saeed. Analysis of safety requirements in the context of system faults and human errors. In Proc. IEEE International\n                Workshop on Systems Engineering of Computer Based Systems, pages 374-381, Tucson, Arizona, March 1995.","DOI":"10.1109\/ECBS.1995.521878"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"A Saeed, R de Lemos, and T Anderson. Safety analysis for requirements specifications: Methods and techniques. In Proc. 14th International Conference\n                on Computer Safety, Reliability and Security: SAFECOMP\u201905, pages 27\u201341, October 1995.","DOI":"10.1007\/978-1-4471-3054-3_3"},{"key":"22_CR5","unstructured":"M Cepin and A Wardzinski. On integration of probabilistic and deterministic safety analysis. In Proc. 3rd Regional Meeting: Nuclear Energy\n                in Central Europe, Portoroz, Slovenia, 1996. (To appear. Also Technical Report TRISAT 96\/9, Jozef Stefan Institute, Ljubljana, September 1996)."},{"key":"22_CR6","unstructured":"M Cepin and B Mavko. Identification and preparation of case studies. Technical Report TR ISAT 96\/8, Jozef Stefan Institute, Ljubljana, Slovenia, June 1996."},{"key":"22_CR7","unstructured":"S Riddle and M Cepin. Object modelling and safety analysis of Engineered Safety Features Actuation System. Technical Report TR ISAT 96\/11, University of Newcastle upon Tyne, United Kingdom, December 1996."},{"key":"22_CR8","volume-title":"An Introduction to Formal Specification and Z. International Series in Computer Science","author":"B Potter","year":"1991","unstructured":"B Potter, J Sinclair, and D Till. An Introduction to Formal Specification and Z. International Series in Computer Science. Prentice-Hall International (UK) Ltd, United Kingdom, 1991."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"A Saeed, R de Lemos, and T Anderson. An approach for the risk analysis of safety specifications. In Proc. 9th Annual Conference on Computer\n                Assurance (COMPASS \u201994), pages 209\u2013221, Gaithersburg, MD, June 1994.","DOI":"10.1109\/CMPASS.1994.318451"},{"key":"22_CR10","unstructured":"WE Vesely, FF Goldberg, NH Roberts, and DF Haasl. Fault tree handbook. NUREG 0492, US NRC, Washington, 1981."},{"key":"22_CR11","first-page":"310","volume-title":"Formalising fault trees","author":"J Gorski","year":"1995","unstructured":"J Gorski and A Wardzinski. Formalising fault trees. In Proc. Safety- Critical Systems Symposium, pages 310\u2013327, Brighton, United Kingdom, 1995."}],"container-title":["Safe Comp 97"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0997-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,26]],"date-time":"2019-01-26T09:40:48Z","timestamp":1548495648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0997-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540761914","9781447109976"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0997-6_22","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}