{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:52:36Z","timestamp":1767138756857,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319389790","type":"print"},{"value":"9783319389806","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-38980-6_1","type":"book-chapter","created":{"date-parts":[[2016,5,11]],"date-time":"2016-05-11T06:54:07Z","timestamp":1462949647000},"page":"3-16","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Deriving Safety Case Fragments for Assessing MBASafe\u2019s Compliance with EN 50128"],"prefix":"10.1007","author":[{"given":"Barbara","family":"Gallina","sequence":"first","affiliation":[]},{"given":"Elena","family":"G\u00f3mez-Mart\u00ednez","sequence":"additional","affiliation":[]},{"given":"Clara Benac","family":"Earle","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,12]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/978-3-319-15201-1_7","volume-title":"Software Engineering and Formal Methods","author":"E G\u00f3mez-Mart\u00ednez","year":"2015","unstructured":"G\u00f3mez-Mart\u00ednez, E., Rodr\u00edguez, R.J., Etxeberria Elorza, L., Illarramendi Rezabal, M., Benac Earle, C.: Model-based verification of safety contracts. In: Canal, C., Idani, A. (eds.) SEFM 2014 Workshops. LNCS, vol. 8938, pp. 101\u2013115. Springer, Heidelberg (2015)"},{"key":"1_CR2","unstructured":"Object Management Group: Software & Systems Process Engineering Meta-Model (SPEM), v2.0. Full Specification formal\/08-04-01 (2008)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Gallina, B.: A model-driven safety certification method for process compliance. In: 2nd International Workshop on Assurance Cases for Software-intensive Systems (ASSURE), pp. 204\u2013209, November 2014","DOI":"10.1109\/ISSREW.2014.30"},{"issue":"4","key":"1_CR4","first-page":"237","volume":"36","author":"B Gallina","year":"2015","unstructured":"Gallina, B., Provenzano, L.: Deriving reusable process-based arguments from process models in the context of railway safety standards. AUJ 36(4), 237\u2013241 (2015)","journal-title":"AUJ"},{"key":"1_CR5","unstructured":"Interim Defence Standard 00\u201356 Part 1 - Issue 5, in, UK MOD (2014)"},{"key":"1_CR6","unstructured":"GSN: Community Standard Version 1 (2011)"},{"key":"1_CR7","unstructured":"SACM. \n                    http:\/\/www.omg.org\/spec\/sacm\/1.0"},{"key":"1_CR8","unstructured":"MODSafe Modular Urban Transport Safety and Security Analysis: Survey of current safety lifecycle approaches, DEL D6.1 TRIT WP6 100531 V1.0. Technical report (2010)"},{"key":"1_CR9","unstructured":"BS EN50126: Railway applications: The specification and demonstration of Reliability. Availability, Maintainability and Safety (RAMS) (1999)"},{"key":"1_CR10","unstructured":"BS EN50129: Railway applications Communication, signalling and processing systems Safety related electronic systems for signalling (2003)"},{"key":"1_CR11","unstructured":"BS EN50128: Railway applications - Communication, signalling and processing systems Software for railway control and protection systems (2011)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"S\u00f6derberg, A., Johansson, R.: Safety contract based design of software components. In: IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 365\u2013370 (2013)","DOI":"10.1109\/ISSREW.2013.6688922"},{"key":"1_CR13","series-title":"Wiley Series in Parallel Computing","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. Wiley, New York (1995)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/11767589_23","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"E G\u00f3mez-Mart\u00ednez","year":"2006","unstructured":"G\u00f3mez-Mart\u00ednez, E., Merseguer, J.: ArgoSPE: model-based software performance engineering. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 401\u2013410. Springer, Heidelberg (2006)"},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0951-8320(97)00030-6","volume":"57","author":"TS Liu","year":"1997","unstructured":"Liu, T.S., Chiou, S.B.: The application of Petri nets to failure analysis. Reliab. Eng. Syst. Safe. 57(2), 129\u2013142 (1997)","journal-title":"Reliab. Eng. Syst. Safe."},{"issue":"4","key":"1_CR16","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/1530873.1530876","volume":"36","author":"S Baarir","year":"2009","unstructured":"Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev. 36(4), 4\u20139 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"1_CR17","unstructured":"Gallina, B.: How to increase efficiency with the certification of process compliance. In: The 3rd Scandinavian Conference on SYSTEM & SOFTWARE SAFETY, Stockholm, 24\u201325 March (2015)"},{"key":"1_CR18","unstructured":"Bender, M., Maibaum, T., Lawford, M., Wassyng, A.: Positioning verification in the context of software\/system certification. In: 11th International Workshop on Automated Verification of Critical Systems (AVOCS), Newcastle upon Tyne (UK), 12\u201315 Sept (2013)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Nair, S., Walkinshaw, N., Kelly, T., de la Vara, J.L.: An evidential reasoning approach for assessing confidence in safety evidence. In: IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp. 541\u2013552, November 2015","DOI":"10.1109\/ISSRE.2015.7381846"},{"key":"1_CR20","unstructured":"ARTEMIS-JU-269265: SafeCer-Safety Certification of Software-Intensive Systems with Reusable Components. \n                    http:\/\/www.safecer.eu\/"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/978-3-319-10506-2_12","volume-title":"Computer Safety, Reliability, and Security","author":"I Sljivo","year":"2014","unstructured":"Sljivo, I., Gallina, B., Carlson, J., Hansson, H.: Generation of safety case argument-fragments from safety contracts. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 170\u2013185. Springer, Heidelberg (2014)"},{"key":"1_CR22","unstructured":"SYNOPSIS-SSF-RIT10-0070: SYNOPSIS project-safety Analysis for Predictable Software Intensive Systems. Swedish Foundation for Strategic Research"},{"key":"1_CR23","unstructured":"Gen&ReuseSafetyCases-SSF. \n                    http:\/\/www.es.mdh.se\/projects\/393-genreusesafetycases"}],"updated-by":[{"DOI":"10.1007\/978-3-319-38980-6_34","type":"erratum","label":"Erratum","source":"publisher","updated":{"date-parts":[[2016,10,25]],"date-time":"2016-10-25T00:00:00Z","timestamp":1477353600000}}],"container-title":["Communications in Computer and Information Science","Software Process Improvement and Capability Determination"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-38980-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:01:36Z","timestamp":1558393296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-38980-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319389790","9783319389806"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-38980-6_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"12 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SPICE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Process Improvement and Capability Determination","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 June 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 June 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"spice2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}