{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T12:57:33Z","timestamp":1775048253658,"version":"3.50.1"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[1984,2,1]],"date-time":"1984-02-01T00:00:00Z","timestamp":444441600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer"],"published-print":{"date-parts":[[1984,2]]},"DOI":"10.1109\/mc.1984.1659054","type":"journal-article","created":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T20:35:32Z","timestamp":1188938132000},"page":"48-55","source":"Crossref","is-referenced-by-count":42,"title":["Software Safety in Computer-Controlled Systems"],"prefix":"10.1109","volume":"17","author":[{"family":"Leveson","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.2514\/6.1983-323"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-026749-4.50009-6"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.2514\/6.1983-2327"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-024453-2.50017-6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-024453-2.50007-3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/52.300036"},{"key":"ref12","first-page":"148","article-title":"software safety management","volume":"5","author":"davis","year":"1982","journal-title":"J Defense Systems Management"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-024453-2.50010-3"},{"key":"ref14","first-page":"236","article-title":"safety assertions for process control systems","author":"leveson","year":"1983","journal-title":"Proc 11th Int Conf Fault-Tolerant Comput"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-024453-2.50008-5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/356835.356839"},{"key":"ref17","first-page":"410","article-title":"investigators study crash of new zealand dc-10-30","volume":"114","year":"1981","journal-title":"Aviation Week & Space Tech"},{"key":"ref18","first-page":"128","article-title":"new zealand commission reports on dc-10 crash","volume":"114","year":"1981","journal-title":"Aviation Week & Space Tech"},{"key":"ref19","first-page":"416","article-title":"problems of mixing men and machines","volume":"75","author":"voysey","year":"1977","journal-title":"New Scientist"},{"key":"ref28","article-title":"fault tree and cause consequence analysis for control software validation","author":"taylor","year":"1982"},{"key":"ref4","year":"1979","journal-title":"MIL-STD-1574A System Safety Program for Space and Missile Systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.235116"},{"key":"ref3","year":"0","journal-title":"MIL-STD-882A System Safety Program Requirements"},{"key":"ref6","first-page":"305","author":"lauber","year":"1980","journal-title":"Real-Time Data Handling and Process Control"},{"key":"ref29","author":"roberts","year":"1981","journal-title":"Fault Tree Handbook"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-024453-2.50031-0"},{"key":"ref8","author":"brown","year":"1973","journal-title":"The Quantitative Measurement of Software Safety and Reliability"},{"key":"ref7","article-title":"applicability of statistical software reliability models for reactor safety software verification","author":"bologna","year":"1979"},{"key":"ref2","author":"rodgers","year":"1971","journal-title":"Introduction to System Safety Engineering"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.1981.6369675"},{"key":"ref1","author":"hammer","year":"1972","journal-title":"Handbook of System and Product Safety"},{"key":"ref20","article-title":"avionic flight control system for the lockheed l-1011 tri-star","author":"mineck","year":"1972","journal-title":"Proc SAE Aerospace Control and Guidance Systems Meeting"},{"key":"ref22","first-page":"120","article-title":"a specification-oriented multi-version software experiment","author":"kelly","year":"1983","journal-title":"Proc 11th Int Conf Fault-Tolerant Comput"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-024453-2.50014-0"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312834"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312826"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/prsb.720010404"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1981.226474"}],"container-title":["Computer"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/2\/34739\/01659054.pdf?arnumber=1659054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:57:53Z","timestamp":1642006673000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1659054\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,2]]},"references-count":34,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/mc.1984.1659054","relation":{},"ISSN":["0018-9162"],"issn-type":[{"value":"0018-9162","type":"print"}],"subject":[],"published":{"date-parts":[[1984,2]]}}}