{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:42:46Z","timestamp":1725615766393},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540761914"},{"type":"electronic","value":"9781447109976"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4471-0997-6_25","type":"book-chapter","created":{"date-parts":[[2011,9,30]],"date-time":"2011-09-30T12:07:46Z","timestamp":1317384466000},"page":"321-331","source":"Crossref","is-referenced-by-count":2,"title":["Towards Safer Industrial Computer Controlled Systems"],"prefix":"10.1007","author":[{"given":"P. R.","family":"Croll","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Chambers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Bowell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. W. H.","family":"Chung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","first-page":"541","volume":"1","author":"V Stavridou","year":"1996","unstructured":"Stavridou V. Boothroyed A. Boyce T. et al. Developing and Assessing Safety Critical Systems with Formal Methods: The SafeFM way, High Integrity Systems, Vol 1, pp 541\u2013 545,1996.","journal-title":"High Integrity Systems"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1049\/cce:19940101","volume":"5","author":"J Brazendale","year":"1994","unstructured":"Brazendale J. Bell R. Safety-Related Control and Protection Systems: Standards Update, Computing & Control Engineering Journal, Vol. 5, pp. 6\u201312, Oct 1994.","journal-title":"Computing & Control Engineering Journal"},{"key":"25_CR3","volume-title":"A Study of Incidents Involving Electrical\/Electronic\/Programmable Electronic Safety-Related Systems","author":"PR Croll","year":"1997","unstructured":"Croll PR. Chambers C. Bowell M. A Study of Incidents Involving Electrical\/Electronic\/Programmable Electronic Safety-Related Systems, Proc 1st Int workshop on Human Error and System Development, Glasgow, March 20\u201322,1997."},{"key":"25_CR4","volume-title":"Creating and Analysing Requirement Specifications of Joint Human-Computer Controllers for Safety-Critical Systems","author":"F Modugo","year":"1997","unstructured":"Modugo F. Leveson N.G. Reese J.D. et al. Creating and Analysing Requirement Specifications of Joint Human\u2013Computer Controllers for Safety-Critical Systems, Symposium on Human Interaction with Complex Systems, Aug 25\u201326,1996."},{"key":"25_CR5","unstructured":"IEC, Int Standard IEC1131 Programmable Controllers - part 3: Programming Languages, Geneva, International Electrotechnical Commission. 1993."},{"key":"25_CR6","volume-title":"Programming industrial control systems using IEC 1131\u20133","author":"RW Lewis","year":"1995","unstructured":"Lewis R. W. Programming industrial control systems using IEC 1131\u20133, IEE, 1995."},{"key":"25_CR7","volume-title":"System Safety and Computers","author":"NG Leveson","year":"1995","unstructured":"Leveson N.G., Safeware; System Safety and Computers, Addison Wesley, 1995."},{"key":"25_CR8","volume-title":"Safety-Critical Computer Systems","author":"N Storey","year":"1996","unstructured":"Storey N. Safety-Critical Computer Systems, published by Addison-Wesley, 1996."},{"key":"25_CR9","first-page":"189","volume":"32","author":"DL Parnas","year":"1991","unstructured":"Parnas D.L. Asmis G.J.K. Madey J. Assessment of Safety-Critical Software in Nuclear Power Plants, Nuclear Safety, Vol 32, pp. 189\u2013198,1991.","journal-title":"Nuclear Safety"},{"key":"25_CR10","unstructured":"UK Health and Safety Executive, Out of Control, HMSO Press, 1995."},{"key":"25_CR11","unstructured":"Draft Int. Standard IEC 1508, Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems, Geneva, International Electrotechnical Commission. 1995."},{"key":"25_CR12","unstructured":"Kletz T. Chung P.W.H. Broomfield E. Chaim S. Computer Control and Human Error, IChemE, 1995."},{"key":"25_CR13","unstructured":"Fenelon P.N. Hebbron B.N Applying HAZOP to Software Engineering Models, Tech Report, HISE Group, University of York. 1996."},{"key":"25_CR14","volume-title":"Dependability: from Concepts to Limits","author":"JC Laprie","year":"1993","unstructured":"Laprie J.C. Dependability: from Concepts to Limits, 12th Int. Conf on Computer Safety, Reliability and Security, London, pp 157\u2013168,1993."},{"key":"25_CR15","volume-title":"Using Incident Analysis to Derive a Methodology for Assessing Safety in Programmable Systems","author":"EJ Broomfield","year":"1995","unstructured":"Broomfield E.J. Chung P.W.H. Using Incident Analysis to Derive a Methodology for Assessing Safety in Programmable Systems, Proc 3rd Safety-Critical Systems Symposium, pp. 223\u2013239, Springer-Verlag, 1995."},{"key":"25_CR16","unstructured":"Elliot D.M. Owen J.M. Critical Examination in Process Design, The Chemical Engineer, pp 377\u2013383, November 1968."}],"container-title":["Safe Comp 97"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0997-6_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T21:01:20Z","timestamp":1619816480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0997-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540761914","9781447109976"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0997-6_25","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}