{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:07:15Z","timestamp":1760828835537},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651109"},{"type":"electronic","value":"9783540496465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49646-7_27","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T01:09:52Z","timestamp":1181610592000},"page":"345-358","source":"Crossref","is-referenced-by-count":5,"title":["Refinement of Safety-Related Hazards into Verifiable Code Assertions"],"prefix":"10.1007","author":[{"given":"Ken","family":"Wong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Joyce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"27_CR1","unstructured":"John Barnes, \u201cHigh Integrity Ada The SPARK Examiner Approach\u201e, Addison Wesley Longman Ltd, 1997."},{"key":"27_CR2","unstructured":"Bruce Elliott and Jim Ronback, \u201cA System Engineering Process For Software-Intensive Real-Time Information Systems\u201e, in Proceedings of the 14th International System Safety Conference, Albuquerque, New Mexico, August 1996."},{"key":"27_CR3","unstructured":"Nancy G. Leveson, \u201cSafeware: System Safety and Computers\u201c, Addison-Wesley, 1995."},{"issue":"7","key":"27_CR4","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/52.300036","volume":"8","author":"N. G. Leveson","year":"1991","unstructured":"Nancy G. Leveson, Steven S. Cha, and Timothy J. Shimall, \u201cSafety Verification of Ada Programs using software fault trees\u201c, IEEE Software, vol. 8, no. 7, pp. 48\u201359, July 1991.","journal-title":"IEEE Software"},{"key":"27_CR5","unstructured":"Ken Wong, M.Sc. Thesis, Department of Computer Science, University of British Columbia, 1998."},{"key":"27_CR6","unstructured":"http:\/\/www.cs.ubc.ca\/formalWARE"},{"key":"27_CR7","unstructured":"Ken Wong, Jeff Joyce and Jim Ronback, \u201cEnsuring the Inspectability, Repeatability and Maintainability of the Safety Verification of a Critical System\u201c, Department of Computer Science, University of British Columbia, TR-98-06, 1998."},{"key":"27_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Reliable Software Technologies-Ada-Europe\u201998","author":"K. Wong","year":"1998","unstructured":"Ken Wong, \u201cLooking at Code With Your Safety Goggles On\u201c, in Reliable Software Technologies-Ada-Europe\u201998, Lecture Notes in Computer Science, Vol. 1411, Springer, 1998."},{"key":"27_CR9","unstructured":"Jeffrey Joyce and Ken Wong, \u201cGenerating Safety Verification Conditions Through Fault Tree Analysis and Rigorous Reasoning\u201c, in Proceedings of the 16th International System Safety Conference, Seattle, Washington, September 1998."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49646-7_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T03:53:51Z","timestamp":1550375631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}