{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:36:56Z","timestamp":1742913416347,"version":"3.40.3"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"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-47169-3_48","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"626-632","source":"Crossref","is-referenced-by-count":2,"title":["Compliance, Functional Safety and Fault Detection by Formal Methods"],"prefix":"10.1007","author":[{"given":"Christof","family":"Fetzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Weidenbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Wischnewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"48_CR1","unstructured":"ISO\/DIS 26262\u20131 - Road vehicles Functional safety Part 1 Glossary, July 2009"},{"key":"48_CR2","unstructured":"ISO\/DIS 26262\u20137 - Road vehicles Functional safety Part 7 Production and operation (2009)"},{"issue":"2","key":"48_CR3","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/j.cirp.2013.05.007","volume":"62","author":"H ElMaraghy","year":"2013","unstructured":"ElMaraghy, H., Schuh, G., ElMaraghy, W., Piller, F., Sch\u00f6nsleben, P., Tseng, M., Bernard, A.: Product variety management. CIRP Ann. Manuf. Technol. 62(2), 629\u2013652 (2013)","journal-title":"CIRP Ann. Manuf. Technol."},{"key":"48_CR4","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-319-29510-7_11","volume-title":"Formal Techniques for Safety-Critical Systems","author":"M Ghadhab","year":"2016","unstructured":"Ghadhab, M., Kuntz, M., Kuvaiskii, D., Fetzer, C.: A controller safety concept based on software-implemented fault tolerance for fail-operational automotive applications. In: Artho, C. (ed.) FTSCS 2015. CCIS, vol. 596, pp. 189\u2013205. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-29510-7_11"},{"issue":"5","key":"48_CR5","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1049\/iet-sen.2013.0236","volume":"8","author":"D Heffernan","year":"2014","unstructured":"Heffernan, D., Macnamee, C., Fogarty, P.: Runtime verification monitoring for automotive embedded systems using the ISO 26262 functional safety standard as a guide for the definition of the monitored properties. IET Softw. 8(5), 193\u2013203 (2014)","journal-title":"IET Softw."},{"key":"48_CR6","unstructured":"Junk, C., R\u00f6\u00dfger, R., Rock, G., Theis, K., Weidenbach, C., Wischnewski, P.: Model-based variant management with v. control. In: Curran, R., Wognum, N., Borsato, M., Stjepandic, J., Verhagen, W.J. C. (eds.) Transdisciplinary Lifecycle Analysis of Systems - Proceedings of the 22nd ISPE Inc., International Conference on Concurrent Engineering, Delft, The Netherlands, July 20\u201323, 2015, vol. 2 of Advances in Transdisciplinary Engineering, pp. 194\u2013203. IOS Press (2015)"},{"key":"48_CR7","unstructured":"Mendon\u00e7a, M., Wasowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: Muthig, D., McGregor, J.D. (eds.) Software Product Lines, 13th International Conference, SPLC 2009, San Francisco, California, USA, August 24\u201328, 2009, Proceedings, vol. 446 of ACM International Conference Proceeding Series, pp. 231\u2013240. ACM (2009)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:22:06Z","timestamp":1498335726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}