{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:04:58Z","timestamp":1760043898246,"version":"3.40.4"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105567"},{"type":"electronic","value":"9783319105574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10557-4_44","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T12:12:24Z","timestamp":1409141544000},"page":"401-412","source":"Crossref","is-referenced-by-count":6,"title":["A Software Safety Verification Method Based on System-Theoretic Process Analysis"],"prefix":"10.1007","author":[{"given":"Asim","family":"Abdulkhaleq","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"44_CR1","volume-title":"Safeware: System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. ACM, New York (1995)"},{"key":"44_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0951-8320(91)90045-9","volume":"32","author":"J.A. McDermid","year":"1991","unstructured":"McDermid, J.A.: Issues in developing software for safety critical systems. Reliability Engineering & System Safety\u00a032, 1\u201324 (1991)","journal-title":"Reliability Engineering & System Safety"},{"issue":"7","key":"44_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"N.G. Leveson","year":"1993","unstructured":"Leveson, N.G., Turner, C.S.: An investigation of the Therac-25 accidents. Computer\u00a026(7), 18\u201341 (1993)","journal-title":"Computer"},{"key":"44_CR4","unstructured":"Lions, J.L.: ARIANE 5: Flight 501 Failure. Technical Report, Inquiry Board (1996)"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"Leveson, N.G.: Engineering a Safer World: Systems Thinking Applied to Safety. Engineering systems. MIT Press (2011)","DOI":"10.7551\/mitpress\/8179.001.0001"},{"key":"44_CR6","unstructured":"Leveson, N.G.: An STPA Primer. Engineering systems. MIT Press (2013)"},{"issue":"4","key":"44_CR7","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/52.300036","volume":"8","author":"N.G. Leveson","year":"1991","unstructured":"Leveson, N.G., Cha, S.S., Shimeall, T.J.: Safety verification of Ada Programs Using Software Fault Trees. IEEE Software\u00a08(4), 48\u201359 (1991)","journal-title":"IEEE Software"},{"key":"44_CR8","unstructured":"ATSB Transport safety Investigation Report, In-Flight Upset Event 240 km North-West of Perth, WA Boeing Company 777-200, 9M-MRG (2005)"},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"Ammann, P.E., Black, P.E., Majurski, W.: Using Model Checking to Generate Tests from Specifications. In: Proceedings of the Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998 (1998)","DOI":"10.6028\/NIST.IR.6166"},{"key":"44_CR11","unstructured":"Abdulkhaleq, A., Wagner, S.: Experiences with Applying STPA to Software-Intensive Systems in the Automotive Domain. In: Proc. 2013 STAMP Conference, MIT, USA (2013)"},{"key":"44_CR12","unstructured":"Abdulkhaleq, A., Wagner, S.: An Open Tool Support for System-Theoretic Process Analysis. In: Proc. 2014 STAMP Conference, MIT, USA (2014)"},{"key":"44_CR13","unstructured":"Friedemann, B.: Classification of Safety Requirements for Formal Verification of Software Models of Industrial Automation Systems. In: Proceedings of the 13th Conference on Software and Systems Engineering and their Applications, ICSSEA 2000 (2000)"},{"key":"44_CR14","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1992","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Norwell (1992)"},{"issue":"7","key":"44_CR15","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/32.708570","volume":"24","author":"K.M. Hansen","year":"1998","unstructured":"Hansen, K.M., Ravn, A.P., Stavridou, V.: From safety analysis to software requirements. IEEE Transactions on Software Engineering\u00a024(7), 573\u2013584 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"44_CR16","unstructured":"Tracey, N., Clark, J., McDermid, J., Mander, K.: Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification. In: Proceedings of the 17th International Conference on System Safety (1999)"},{"issue":"2","key":"44_CR17","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/MITP.2013.104","volume":"16","author":"P.E. Black","year":"2014","unstructured":"Black, P.E.: Test Generation Using Model Checking and Specification Mutation. IT Professional\u00a016(2), 17\u201321 (2014)","journal-title":"IT Professional"},{"issue":"4","key":"44_CR18","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1109\/JPROC.2009.2039551","volume":"98","author":"M.V. Stringfellow","year":"2010","unstructured":"Stringfellow, M.V., Leveson, N.G., Owens, B.D.: Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems. Proceedings of the IEEE\u00a098(4), 515\u2013525 (2010)","journal-title":"Proceedings of the IEEE"},{"key":"44_CR19","doi-asserted-by":"crossref","unstructured":"Ishimatsu, T., Leveson, N.G., Thomas, J.P., Fleming, C.H., Katahira, M., Miyamoto, Y., Ujiie, R., Nakao, H., Hoshino, N.: Hazard Analysis of Complex Spacecraft Using Systems-Theoretic Process Analysis. Journal of Spacecraft and Rockets\u00a051(2) (2014)","DOI":"10.2514\/1.A32449"},{"key":"44_CR20","unstructured":"Hardy, T.L.: Essential Questions in System Safety: A Guide for Safety Decision Makers. AuthorHouse (2010)"},{"key":"44_CR21","unstructured":"Lutz, R., Nikora, A.: Failure Assessment in System Health Management with Aerospace Applications, 1st edn. John Wiley & Sons (2011), Johnson, S.B., et al (eds.)"},{"key":"44_CR22","doi-asserted-by":"crossref","unstructured":"Brock, B.C., Hunt, W.A.: Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP. In: Proceedings of the 1997 IEEE International Conference on Computer Design: VLSI in Computers and Processors, ICCD 1997, October 12-15, pp. 31\u201336 (1997)","DOI":"10.1109\/ICCD.1997.628846"},{"key":"44_CR23","unstructured":"Kapur, R.: CTL for Test Information of Digital ICS. Springer (2002)"},{"key":"44_CR24","unstructured":"NASA.: Software Safety, NASA Technical Standard, NASA-STD 8719.13A (1997)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10557-4_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:51:49Z","timestamp":1746355909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10557-4_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105567","9783319105574"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10557-4_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}