{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:44:22Z","timestamp":1725486262649},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_5","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T01:09:52Z","timestamp":1181610592000},"page":"60-74","source":"Crossref","is-referenced-by-count":0,"title":["Linking Hazard Analysis to Formal Specification and Design in B"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Kan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Sanchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"J. Abrial. The B Book: Deriving Programs from Meaning, Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"I. Currie, NewSpeak: a reliable programming language, Chapter 6 of High-integrity Software, C. Sennett (Ed.), Pitman, 1989.","DOI":"10.1007\/978-1-4684-5775-9_6"},{"key":"5_CR3","unstructured":"H Gomaa. Software Design Methods for Concurrent and Real-time Systems. Addison Wesley, 1993."},{"key":"5_CR4","unstructured":"IEC, IEC 1508 Functional Safety: Safety Related Systems, draft, 1995."},{"key":"5_CR5","unstructured":"International Society for Measurement and Control. Batch Control Models and Terminology, ISA-S88.01-1995, 1995."},{"key":"5_CR6","unstructured":"K. Lano, S. Goldsack, A. Sanchez, Formal Development of Event-Driven Controllers for Process Manufacturing Systems, in Industrial-Strength Formal Methods, M. Hinchey, J. Bowen (eds), Academic Press, 1998."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"K. Lano, Refinement and Safety Analysis, in SAFECOMP\u2019 97, Springer-Verlag, 1997.","DOI":"10.1007\/978-1-4471-0997-6_18"},{"key":"5_CR8","unstructured":"K. Lano, P. Kan. Design of Flexible Production Cell, ROOS Project Internal Report, Department of Computing, Imperial College, 1997."},{"key":"5_CR9","unstructured":"N. Leveson, Chapter 15 of Safeware: system safety and computers, Addison-Wesley, 1995. ISBN 0-201-11972-2."},{"key":"5_CR10","volume-title":"Task Description of a Flexible Production Cell with Real Time Properties","author":"A. L\u00f6tzbeyer","year":"1996","unstructured":"A. L\u00f6tzbeyer, R M\u00fchlfeld, Task Description of a Flexible Production Cell with Real Time Properties, FZI, Karlsruhe, 1996."},{"key":"5_CR11","unstructured":"Ministry of Defence, Defence Standard 00-56, Issue 2, http:\/\/www.seasys.demon.co.uk\/ , 1996."},{"key":"5_CR12","unstructured":"Ministry of Defence, Interim Defence Standard 00-58, Issue 1, http:\/\/www.seasys.demon.co.uk\/ , 1996."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"I. Moon, G. Powers, J. R. Burch and E. M. Clarke. Automatic Verification of Sequential Control Systems using Temporal Logic, American Institute of Chemical Engineers (AIChE) Journal, 38(1):67\u201375, January 1992.","DOI":"10.1002\/aic.690380107"},{"key":"5_CR14","unstructured":"A. Sanchez. Formal Specification and Synthesis of Procedural Controllers for Process Systems, Springer-Verlag. Lecture Notes in Control and Information Sciences, vol. 212. 1996."},{"key":"5_CR15","unstructured":"Neil Storey, Chapter 11 of Safety-Critical Computer Systems, Addison-Wesley, 1996."}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T21:29:31Z","timestamp":1556486971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}