{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:13:15Z","timestamp":1725613995957},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331756"},{"type":"electronic","value":"9783642331763"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33176-3_4","type":"book-chapter","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T08:53:23Z","timestamp":1347440003000},"page":"47-62","source":"Crossref","is-referenced-by-count":2,"title":["Linking Modelling in Event-B with Safety Cases"],"prefix":"10.1007","author":[{"given":"Yuliya","family":"Prokhorova","sequence":"first","affiliation":[]},{"given":"Elena","family":"Troubitsyna","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"4_CR1","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.entcs.2009.09.004","volume":"238","author":"I. Habli","year":"2009","unstructured":"Habli, I., Kelly, T.: A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. Electronic Notes in Theoretical Computer Science\u00a0238(4), 27\u201339 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Basir, N., Denney, E., Fischer, B.: Deriving Safety Cases from Machine-Generated Proofs. In: Proceedings of the Workshop on Proof-Carrying Code and Software Certification (PCC 2009), Los Angeles, California, USA (2009)","DOI":"10.1049\/cp.2009.1535"},{"key":"4_CR3","unstructured":"M\u00e9ry, D., Singh, N.K.: Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods. Technical Report inria-00584177 (2011)"},{"key":"4_CR4","unstructured":"Jastram, M., Hallerstede, S., Ladenberger, L.: Mixing Formal and Informal Model Elements for Tracing Requirements. ECEASST\u00a046 (2011)"},{"key":"4_CR5","unstructured":"Yeganefard, S., Butler, M.: Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. ECEASST\u00a046 (2011)"},{"key":"4_CR6","unstructured":"Event-B and the Rodin Platform (2012), \n                    \n                      http:\/\/www.event-b.org\/"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Hawkins, R., Kelly, T.: A Structured Approach to Selecting and Justifying Software Safety Evidence. In: Proceedings of the 5th IET International Conference on System Safety, pp. 1\u20136 (2010)","DOI":"10.1049\/cp.2010.0825"},{"key":"4_CR9","unstructured":"UK Ministry of Defence. 00-56 Safety Management Requirements for Defence Systems (2007)"},{"key":"4_CR10","volume-title":"Safety-Critical Systems Symposium","author":"P. Bishop","year":"1998","unstructured":"Bishop, P., Bloomfield, R.: A Methodology for Safety Case Development. In: Safety-Critical Systems Symposium. Springer, Birmingham (1998)"},{"key":"4_CR11","unstructured":"Kelly, T.P.: Arguing Safety \u2013 A Systematic Approach to Managing Safety Cases. Doctoral Thesis (1998)"},{"key":"4_CR12","unstructured":"Basir, N.: Safety Cases for the Formal Verification of Automatically Generated Code. University of Southampton, Dependable Systems and Software Engineering, ECS. Doctoral Thesis (2010)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"4_CR14","unstructured":"Metayer, C., Abrial, J.-R., Voisin, L.: Rigorous Open Development Environment for Complex Systems (RODIN). Event-B (2005), \n                    \n                      http:\/\/rodin.cs.ncl.ac.uk\/deliverables\/D7.pdf"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45416-0_18","volume-title":"Computer Safety, Reliability and Security","author":"F. Bitsch","year":"2001","unstructured":"Bitsch, F.: Safety Patterns - The Key to Formal Specification of Safety Requirements. In: Voges, U. (ed.) SAFECOMP 2001. LNCS, vol.\u00a02187, pp. 176\u2013189. Springer, Heidelberg (2001)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-642-24124-6_2","volume-title":"Software Engineering for Resilient Systems","author":"A. Iliasov","year":"2011","unstructured":"Iliasov, A.: Use Case Scenarios as Verification Conditions: Event-B\/Flow Approach. In: Troubitsyna, E.A. (ed.) SERENE 2011. LNCS, vol.\u00a06968, pp. 9\u201323. Springer, Heidelberg (2011)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Lopatkin, I., Prokhorova, Y., Troubitsyna, E., Iliasov, A., Romanovsky, A.: Patterns for Representing FMEA in Formal Specification of Control Systems. TUCS Technical Reports 1003, Turku Centre for Computer Science (2011)","DOI":"10.1109\/HASE.2011.10"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33176-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:57:40Z","timestamp":1620129460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33176-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331756","9783642331763"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33176-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}