{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T15:01:59Z","timestamp":1764687719460},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319454795"},{"type":"electronic","value":"9783319454801"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45480-1_25","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T11:08:20Z","timestamp":1472814500000},"page":"311-321","source":"Crossref","is-referenced-by-count":12,"title":["Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Alejandra","family":"Ruiz","sequence":"first","affiliation":[]},{"given":"Barbara","family":"Gallina","sequence":"additional","affiliation":[]},{"given":"Jose Luis","family":"de la Vara","sequence":"additional","affiliation":[]},{"given":"Silvia","family":"Mazzini","sequence":"additional","affiliation":[]},{"given":"Hu\u00e1scar","family":"Espinoza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,1]]},"reference":[{"key":"25_CR1","unstructured":"AMASS: ECSEL Project (Architecture-Driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems). http:\/\/www.amass-ecsel.eu\/"},{"key":"25_CR2","unstructured":"OPENCOSS: FP7 Project (Open Platform for EvolutioNary Certification of Safety-Critical Systems). http:\/\/www.opencoss-project.eu\/"},{"key":"25_CR3","unstructured":"SafeCer: ARTEMIS Project (Safety Certification of Software-Intensive Systems with Reusable Components). http:\/\/www.safecer.eu\/"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G.: A formal basis for safety case patterns. In: Proceedings of the 32nd International Conference on Computer Safety, Reliability and Security (SafeComp 2013), Toulouse, France, September 2013","DOI":"10.1007\/978-3-642-40793-2_3"},{"key":"25_CR5","unstructured":"Rushby, J.: Noninterference, transitivity, and channel-control security policies. Technical report SRI-CSL-92-02, December 1992"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Dorigatti, M., Tonetta, S.: OCRA: A tool for checking the refinement of temporal contracts. In: ASE 2013, pp. 702\u2013705 (2013)","DOI":"10.1109\/ASE.2013.6693137"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-642-33678-2_12","volume-title":"Computer Safety, Reliability, and Security","author":"H-H Bock","year":"2012","unstructured":"Bock, H.-H., Braband, J., Milius, B., Sch\u00e4be, H.: Towards an IT security protection profile for safety-related communication in railway automation. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 137\u2013148. Springer, Heidelberg (2012)"},{"key":"25_CR8","unstructured":"http:\/\/www.d-mils.org\/"},{"key":"25_CR9","unstructured":"Born, M., Favaro, J., Winkler, M., Heidt, L., Boulanger, A.: Integrated design and evaluation of safety and security in automotive system development. In: Proceedings of VDA SYS 2015, 15\u201316 July 2015, Berlin (2015)"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Baldovin, A., Zovi, A., Nelissen, G., Puri, S.: The CONCERTO methodology for model-based development of the avionics software. In: Proceedings of the ADA Europe Conference 2015, June 2015, Madrid (2015)","DOI":"10.1007\/978-3-319-19584-1_9"},{"key":"25_CR11","unstructured":"Open Services for Lifecycle Collaboration (OSLC). http:\/\/open-services.net\/"},{"key":"25_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-319-26844-6_13","volume-title":"Product-Focused Software Process Improvement","author":"B Gallina","year":"2015","unstructured":"Gallina, B., Szatm\u00e1ri, Z.: Ontology-based identification of commonalities and variabilities among safety processes. In: Abrahamsson, P., et al. (eds.) PROFES 2015. LNCS, vol. 9459, pp. 182\u2013189. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-26844-6_13"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45480-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:53:13Z","timestamp":1498326793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45480-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454795","9783319454801"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45480-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}