{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,25]],"date-time":"2026-09-25T12:05:24Z","timestamp":1790337924992,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540304920","type":"print"},{"value":"9783540322405","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589976_9","type":"book-chapter","created":{"date-parts":[[2005,10,26]],"date-time":"2005-10-26T13:38:16Z","timestamp":1130333896000},"page":"129-149","source":"Crossref","is-referenced-by-count":30,"title":["An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees"],"prefix":"10.1007","author":[{"given":"Lars","family":"Grunske","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Lindsay","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nisansala","family":"Yatapanage","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kirsten","family":"Winter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Lutz, R.R.: Software engineering for safety: a roadmap. In: ICSE - Future of SE Track, pp. 213\u2013226 (2000)","DOI":"10.1145\/336512.336556"},{"key":"9_CR2","unstructured":"Neumann, P.G.: Computer-Related Risks. ACM Press \/ Addison Wesley (1995)"},{"key":"9_CR3","volume-title":"Safeware: System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)"},{"key":"9_CR4","unstructured":"Department of Defence: MIL-STD-1629A, Procedures for Performing a Failure Mode, Effects and Criticality Analysis. Washington (1980)"},{"key":"9_CR5","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"927","DOI":"10.1109\/32.730543","volume":"24","author":"C. Heitmeyer","year":"1998","unstructured":"Heitmeyer, C., Kirby, J., Labaw, B., Archer, M., Bharadwaj, R.: Using abstraction and model checking to detect safety violations in requirements specifications. IEEE Transactions on Software Engineering\u00a024, 927\u2013947 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/32.210305","volume":"19","author":"J. Atlee","year":"1993","unstructured":"Atlee, J., Gannon, J.: State-based model checking of event-driven system requirements. IEEE Transactions on Software Engineering\u00a019, 24\u201340 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/JPROC.2002.805818","volume":"91","author":"A. Tiwari","year":"2003","unstructured":"Tiwari, A., Shankar, N., Rushby, J.: Invisible formal methods for embedded control systems. Proceedings of the IEEE\u00a091, 29\u201339 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"9_CR9","volume-title":"Handbook of Theoretical Coomputer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Coomputer Science, vol.\u00a0B. Elsevier Science Publishers, Amsterdam (1990)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/978-3-540-27813-9_45","volume-title":"Computer Aided Verification","author":"L. Moura de","year":"2004","unstructured":"de Moura, L., Owre, S., Rue\u00df, H., Rushby, J., Shankar, N., Sorea, M., Tiwari, A.: SAL 2. In: Alur, R., Peled, D. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 496\u2013500. Springer, Heidelberg (2004)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BFb0015020","volume-title":"CONCUR \u201994: Concurrency Theory","author":"R.J. Back","year":"1994","unstructured":"Back, R.J., von Wright, J.: Trace refinement of action systems. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, pp. 367\u2013384. Springer, Heidelberg (1994)"},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/SEFM.2003.1236202","volume-title":"Int. Conference on Software Engineering and Formal Methods (SEFM 2003)","author":"R.G. Dromey","year":"2003","unstructured":"Dromey, R.G.: From requirements to design: Formalizing the key steps. In: Int. Conference on Software Engineering and Formal Methods (SEFM 2003), pp. 2\u201313. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"9_CR13","first-page":"104","volume-title":"Int. Conference on Software Engineering and Formal Methods (SEFM 2004)","author":"L. Wen","year":"2004","unstructured":"Wen, L., Dromey, R.G.: From requirements change to design change: A formal path. In: Int. Conference on Software Engineering and Formal Methods (SEFM 2004), pp. 104\u2013113. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"9_CR14","unstructured":"GSE: Genetic Software Engineering (2005), \n                    \n                      http:\/\/www.sqi.gu.edu.au\/gse"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45416-0_18","volume-title":"Computer Safety, Reliability and Security","author":"F. Bitsch","year":"2001","unstructured":"Bitsch, F.: Safety patterns - the key to formal specification of safety requirements. In: Voges, U. (ed.) SAFECOMP 2001. LNCS, vol.\u00a02187, pp. 176\u2013189. Springer, Heidelberg (2001)"},{"key":"9_CR16","unstructured":"Atchison, B., Lindsay, P., Tombs, D.: A case study in software safety assurance using formal methods. Technical report, University of Queensland, SVRC 99-31 (1999), \n                    \n                      http:\/\/www.itee.uq.edu.au\/~pal\/SVRC\/tr99-31.pdf"},{"key":"9_CR17","unstructured":"McDermid, J., Kelly, T.: Industrial press: Safety case. Technical report, High Integrity Systems Engineering Group, University of York (1996)"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1109\/ASE.2004.1342775","volume-title":"Int. Conference on Automated Software Engineering (ASE 2004)","author":"C. Smith","year":"2004","unstructured":"Smith, C., Winter, K., Hayes, I., Dromey, G., Lindsay, P., Carrington, D.: An environment for building a system out of its requirements. In: Int. Conference on Automated Software Engineering (ASE 2004), pp. 398\u2013399. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11925040_8","volume-title":"Leveraging Applications of Formal Methods","author":"P.A. Abdulla","year":"2006","unstructured":"Abdulla, P.A., Deneux, J., Akerlund, O.: Designing safe, reliable systems using Scade. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol.\u00a04313, pp. 115\u2013129. Springer, Heidelberg (2006)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-39878-3_5","volume-title":"Computer Safety, Reliability, and Security","author":"M. Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A.: Improving system reliability via model checking: The FSAP\/NuSMV-SA safety analysis platform. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 49\u201362. Springer, Heidelberg (2003)"},{"key":"9_CR21","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1109\/HASE.2004.1281774","volume-title":"Int. Symposium on High-Assurance Systems Engineering (HASE 2004)","author":"Y. Papadopoulos","year":"2004","unstructured":"Papadopoulos, Y., Parker, D., Grante, C.: Automating the failure modes and effects analysis of safety critical systems. In: Int. Symposium on High-Assurance Systems Engineering (HASE 2004), pp. 310\u2013311. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0951-8320(00)00076-4","volume":"71","author":"Y. Papadopoulos","year":"2001","unstructured":"Papadopoulos, Y., McDermid, J.A., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Int. Journal of Reliability Engineering and System Safety\u00a071, 229\u2013247 (2001)","journal-title":"Int. Journal of Reliability Engineering and System Safety"},{"key":"9_CR23","unstructured":"Rae, A., Lindsay, P.: A behaviour-based method for fault tree generation. In: Int. System Safety Conference, System Safety Society, pp. 289\u2013298 (2004)"},{"key":"9_CR24","series-title":"Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Series in Computer Science. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/3-540-61474-5_87","volume-title":"Computer Aided Verification","author":"R. Cleaveland","year":"1996","unstructured":"Cleaveland, R., Sims, S.: The NCSU Concurrency Workbench. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 394\u2013397. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589976_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T06:14:39Z","timestamp":1552457679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589976_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304920","9783540322405"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11589976_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}