{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:08:08Z","timestamp":1725721688917},"publisher-location":"London","reference-count":21,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199625"},{"type":"electronic","value":"9781447130543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3054-3_6","type":"book-chapter","created":{"date-parts":[[2013,4,9]],"date-time":"2013-04-09T03:33:23Z","timestamp":1365478403000},"page":"75-89","source":"Crossref","is-referenced-by-count":0,"title":["Formal Support for the Safety Analysis of Requirement Models"],"prefix":"10.1007","author":[{"given":"Ken","family":"Chan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clive","family":"Fencott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barry","family":"Hebbron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"The investigation into proof tree analysis for concurrent systems and its practical applications","author":"K Chan","year":"1994","unstructured":"K. Chan. The investigation into proof tree analysis for concurrent systems and its practical applications. Master\u2019s thesis, University of Teesside, Middlesbrough, 1994"},{"key":"6_CR2","volume-title":"A guide to Hazard and Operability Studies","author":"CISHEC","year":"1977","unstructured":"CISHEC. A guide to Hazard and Operability Studies. Technical report, The Chemical Industry Safety and Health Council of the Chemical Industries Association Ltd., 1977"},{"key":"6_CR3","volume-title":"The concurency workbench: A semantics based tool for verification of concurrent systems","author":"R Cleaveland","year":"1989","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The concurency workbench: A semantics based tool for verification of concurrent systems. Technical report, University of Edinburgh, 1989"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Branching time temporal logic","author":"E Emmerson","year":"1989","unstructured":"E. Emmerson and J. Srinivasan. Branching time temporal logic. Lecture Notes in Computer Science, 354, 1989"},{"key":"6_CR5","volume-title":"Formal Methods for Concurrency","author":"PC Fencott","year":"1995","unstructured":"P.C. Fencott. Formal Methods for Concurrency. Chapman and Hall, 1995 Forthcoming"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Formalising the semantics of ward-mellor sa\/rt essential model using a process algebra","author":"PC Fencott","year":"1994","unstructured":"P. C. Fencott, A. J. Galloway, M. A. Lockyer, S. J. O\u2019Brien, and S. Pearson. Formalising the semantics of ward-mellor sa\/rt essential model using a process algebra. Lecture Notes in Computer Science, 873, 1994"},{"key":"6_CR7","first-page":"83","volume-title":"Proceedings of SAFECOMP 94","author":"C Fencott","year":"1994","unstructured":"C. Fencott and B. Hebbron. The application of HAZOP studies to integrated requirements models for control systems. In Proceedings of SAFECOMP 94, pages 83\u201392, Anaheim, USA, 1994"},{"key":"6_CR8","volume-title":"Risk Management and Critical Protective Systems","author":"CP Fenelon","year":"1994","unstructured":"C. P. Fenelon and B. D. Hebbron. Applying HAZOP to software engineering model. In Risk Management and Critical Protective Systems, Altrincham, UK, 1994"},{"issue":"10","key":"6_CR9","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/194313.194399","volume":"37","author":"MD Fraser","year":"1994","unstructured":"M. D. Fraser, K. Kumar, and V. K. Vaishnavi; Strategies for incorporating formal specification. Communication of the ACM, 37 No.10:74\u201386, 1994","journal-title":"Communication of the ACM"},{"key":"6_CR10","volume-title":"Applying HAZOP to a Ward and Mellor essential models","author":"B Hebbron","year":"1995","unstructured":"B. Hebbron. Applying HAZOP to a Ward and Mellor essential models. Technical Report TEES-BDH-001, University of Teesside, 1995"},{"key":"6_CR11","volume-title":"Methods Integration: Concepts and case studies","author":"K Kronlof","year":"1993","unstructured":"K. Kronlof. Methods Integration: Concepts and case studies. John Wiley and sons, Nokia Research Center, Finland, 1993"},{"key":"6_CR12","first-page":"1","volume-title":"Dependability of resilient computers","author":"JC Laprie","year":"1989","unstructured":"J. C. Laprie. Dependability: A unifying concept for reliable computing and fault tolerance, LAAS report (1986). In T. Anderson, editor, Dependability of resilient computers, chapter 1, pages 1\u201328. BSP Professional Books, 1989"},{"key":"6_CR13","volume-title":"The integration of structured and formal methods for real-time systems specification","author":"M Lockyer","year":"1992","unstructured":"M. Lockyer, P.C. Fencott, and P. Taylor. The integration of structured and formal methods for real-time systems specification. In 5th Conference on Putting into Paractice Methods and Tools for Information Systems Design. University of Nantes, 1992"},{"key":"6_CR14","volume-title":"ASCENT: Automated Strict CASE Environment at Teesside","author":"M Lockyer","year":"1995","unstructured":"M. Lockyer and G. Griffiths. ASCENT: Automated Strict CASE Environment at Teesside. University of Teesside, Cleveland, England, 1995. Technical Manual"},{"key":"6_CR15","volume-title":"Issues in Developing Software for Safety Critical Systems","author":"JA McDermid","year":"1990","unstructured":"J. A. McDermid. Issues in Developing Software for Safety Critical Systems. Technical report, University of York, England, 1990"},{"key":"6_CR16","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, Hemel Hempstead, 1989"},{"key":"6_CR17","volume-title":"The Edinburgh Concurrency Workbench (version 6.1)","author":"F Moller","year":"1992","unstructured":"Faron Moller. The Edinburgh Concurrency Workbench (version 6.1). Technical report, University of Edinburgh, 1992"},{"issue":"6","key":"6_CR18","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1093\/comjnl\/35.6.600","volume":"35","author":"LT Semmens","year":"1992","unstructured":"L. T. Semmens, R. B. France, and T. W. G. Docker. Integrated structured analysis and formal specification techniques. The Computer Journal, 35(6):600\u2013610, 1992","journal-title":"The Computer Journal"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"An introduction to modal and temporal logics for CCS","author":"C Stirling","year":"1991","unstructured":"C. Stirling. An introduction to modal and temporal logics for CCS. Lecture Notes in Computer Science, 491, 1991"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/3-540-50939-9_144","volume":"351","author":"C Stirling","year":"1989","unstructured":"C. Stirling and D. J. Walker. Local model checking in the modal mu-calculus. Lecture Notes in Computer Science, 351:369\u2013382, 1989","journal-title":"Lecture Notes in Computer Science"},{"key":"6_CR21","volume-title":"Structured Development for Real-Time Systems","author":"PT Ward","year":"1985","unstructured":"P.T. Ward and S.J. Mellor. Structured Development for Real-Time Systems, volume 1,2,3. Prentice-Hall, 1985"}],"container-title":["Safe Comp 95"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3054-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,27]],"date-time":"2019-01-27T23:41:59Z","timestamp":1548632519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3054-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199625","9781447130543"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3054-3_6","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}