{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:53:00Z","timestamp":1742917980128,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319084213"},{"type":"electronic","value":"9783319084220"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-08422-0_50","type":"book-chapter","created":{"date-parts":[[2014,8,12]],"date-time":"2014-08-12T15:17:11Z","timestamp":1407856631000},"page":"339-345","source":"Crossref","is-referenced-by-count":7,"title":["A Modeling Approach to Support Safety Assurance in the Automotive Domain"],"prefix":"10.1007","author":[{"given":"Yaping","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"van den Brand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Engelen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martijn","family":"Klabbers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"50_CR1","unstructured":"ISO 26262: \u201cRoad Vehicles \u2013 Functional Safety\u201d (2011)"},{"key":"50_CR2","unstructured":"Meta Modeling Approach to Safety Standard for Consumer Devices (2013), http:\/\/www.omg.org\/news\/meetings\/tc\/agendas\/ut\/SysA_Slides\/taguchi.pdf"},{"key":"50_CR3","unstructured":"Safety Case Repository (2013), http:\/\/dependability.cs.virginia.edu\/info\/Safety Cases:Repository"},{"key":"50_CR4","doi-asserted-by":"crossref","unstructured":"Afreen, H., Bajwa, I., Bordbar, B.: SBVR2UML: A Challenging Transformation. In: Frontiers of Information Technology (FIT), 2011. pp. 33\u201338 (2011)","DOI":"10.1109\/FIT.2011.14"},{"key":"50_CR5","unstructured":"Bajwa, I.S., G. Lee, M., Bordbar, B.: SBVR Business Rules Generation from Natural Language Specification. In: AAAI 2011 Spring Symposium - AI for Business Agility. pp. 2\u20138. San Francisco, USA (2011)"},{"issue":"4","key":"50_CR6","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/j.is.2008.12.002","volume":"35","author":"J Cabot","year":"2010","unstructured":"Cabot, J., Pau, R., Ravent\u00f3s, R.: From UML\/OCL to {SBVR} specifications: A challenging transformation. Information Systems 35(4), 417\u2013440 (2010)","journal-title":"Information Systems"},{"key":"50_CR7","unstructured":"Ceponiene, L., Nemuraite, L., Vedrickas, G.: Semantic Business Rules in Service Oriented Development of Information Systems. In: 15th International Conference on Information and Software Technologies, IT. pp. 404\u2013416 (2009)"},{"key":"50_CR8","doi-asserted-by":"crossref","unstructured":"Lewis, R.: Safety Case Development as an Information Modelling Problem. In: Dale, C., Anderson, T. (eds.) Safety-Critical Systems: Problems, Process and Practice, pp. 183\u2013193. Springer London (2009)","DOI":"10.1007\/978-1-84882-349-5_12"},{"key":"50_CR9","doi-asserted-by":"crossref","unstructured":"Luo, Y., Van den Brand, M., Engelen, L., M. Favaro, J., Klabbers, M., Sartori, G.: Extracting models from iso 26262 for reusable safety assurance. In: Safe and Secure Software Reuse - 13th International Conference on Software Reuse. vol. 7925, pp. 192\u2013207. Springer Berlin Heidelberg (2013)","DOI":"10.1007\/978-3-642-38977-1_13"},{"key":"50_CR10","unstructured":"Nemuraite, L., Skersys, T., Sukys, A., Sinkevicius, E., Ablonskis, L.: VETIS tool for editing and transforming SBVR business vocabularies and business rules into UML&OCL models. In: 16th International Conference on Information and Software Technologies, Kaunas: Kaunas University of Technology. pp. 377\u2013384 (2010)"},{"key":"50_CR11","doi-asserted-by":"crossref","unstructured":"Njonko, P., El Abed, W.: From Natural Language Business Requirements to Executable Models via SBVR. In: Systems and Informatics (ICSAI), 2012 International Conference on. pp. 2453\u20132457 (2012)","DOI":"10.1109\/ICSAI.2012.6223550"},{"key":"50_CR12","unstructured":"OMG: SBVR: Semantics Of Business Vocabulary And Rules (Sepetember 2013), http:\/\/www.omg.org\/spec\/SBVR\/1.1"},{"key":"50_CR13","doi-asserted-by":"crossref","unstructured":"Spreeuwenberg, S., Healy, K.A.: SBVR\u2019s Approach to Controlled Natural Language. In: Proceedings of the 2009 conference on Controlled natural language. pp. 155\u2013169. CNL\u201909, Springer-Verlag, Berlin, Heidelberg (2010)","DOI":"10.1007\/978-3-642-14418-9_10"},{"key":"50_CR14","unstructured":"T.Kelly: Arguing Safety - A Systematic Approach to Managing Safety Cases. Ph.D. thesis, University Of York (1998)"},{"key":"50_CR15","doi-asserted-by":"crossref","unstructured":"Wilson, S., Kelly, T., McDermid, J.: Safety Case Development: Current Practice, Future Prospects. In: Shaw, R. (ed.) Safety and Reliability of Software Based Systems, pp. 135\u2013156. Springer London (1997)","DOI":"10.1007\/978-1-4471-0921-1_6"}],"container-title":["Advances in Intelligent Systems and Computing","Progress in Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08422-0_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T02:02:00Z","timestamp":1675994520000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08422-0_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319084213","9783319084220"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08422-0_50","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]}}}