{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T22:21:43Z","timestamp":1759962103375},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642238659"},{"type":"electronic","value":"9783642238666"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23866-6_18","type":"book-chapter","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T13:16:00Z","timestamp":1315660560000},"page":"167-176","source":"Crossref","is-referenced-by-count":17,"title":["Safe Automotive Software"],"prefix":"10.1007","author":[{"given":"Karl","family":"Heckemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Gesell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Pfister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Berns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Trapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"18_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"Alur, R., Henzinger, T., Ho, P.H.: Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering (T-SE)\u00a022(3), 181\u2013201 (1996)","journal-title":"IEEE Transactions on Software Engineering (T-SE)"},{"issue":"7","key":"18_CR2","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","unstructured":"Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of the IEEE\u00a088(7), 971\u2013984 (2000)","journal-title":"Proceedings of the IEEE"},{"key":"18_CR3","unstructured":"AUTOSAR: Technical Safety Concept Status Report (2009)"},{"key":"18_CR4","first-page":"7","volume-title":"Proceedings of ISW 2000, 34th Information Survivability Workshop","author":"A. Avizienis","year":"2000","unstructured":"Avizienis, A., Laprie, J.C., Randell, B.: Fundamental concepts of dependability. In: Proceedings of ISW 2000, 34th Information Survivability Workshop, pp. 7\u201312. IEEE, Los Alamitos (2000)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-02261-6_18","volume-title":"Logic, Language, Information and Computation","author":"K. Bauer","year":"2009","unstructured":"Bauer, K., Gentilini, R., Schneider, K.: Property driven three-valued model checking on hybrid automata. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS, vol.\u00a05514, pp. 218\u2013229. Springer, Heidelberg (2009)"},{"issue":"12","key":"18_CR6","doi-asserted-by":"publisher","first-page":"1579","DOI":"10.1016\/j.cep.2004.02.002","volume":"43","author":"Y. Chetouani","year":"2004","unstructured":"Chetouani, Y.: Fault detection by using the innovation signal: application to an exothermic reaction. Chemical Engineering and Processing\u00a043(12), 1579\u20131585 (2004)","journal-title":"Chemical Engineering and Processing"},{"issue":"5","key":"18_CR7","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E. Clarke","year":"1994","unstructured":"Clarke, E., Grumberg, O., Long, D.: Model checking and abstraction. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a016(5), 1512\u20131542 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-540-30301-5_26","volume-title":"Springer Handbook of Robotics","author":"H. Durrant-Whyte","year":"2008","unstructured":"Durrant-Whyte, H., Henderson, T.C.: Multisensor data fusion. In: Siciliano, B., Khatib, O. (eds.) Springer Handbook of Robotics, pp. 585\u2013610. Springer, Heidelberg (2008)"},{"key":"18_CR9","unstructured":"GM: GM unveils EN-V concept: A vision for future urban mobility. Website (2010), \n                    \n                      http:\/\/www.gmexpo2010.com\/en-v\/en\/introduction\/press\n                    \n                    \n                   (visited on April 29, 2011)"},{"issue":"9","key":"18_CR10","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1002\/acs.1160","volume":"24","author":"C. Hajiyev","year":"2010","unstructured":"Hajiyev, C.: Testing the covariance matrix of the innovation sequence with sensor\/actuator fault detection applications. International Journal of Adaptive Control and Signal Processing\u00a024(9), 717\u2013730 (2010)","journal-title":"International Journal of Adaptive Control and Signal Processing"},{"key":"18_CR11","series-title":"NATO Advanced Study Institute Series F: Computer and Systems Sciences","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-59615-5_13","volume-title":"Verification of Digital and Hybrid Systems","author":"T. Henzinger","year":"2000","unstructured":"Henzinger, T.: Verification of Digital and Hybrid Systems. In: Verification of Digital and Hybrid Systems. NATO Advanced Study Institute Series F: Computer and Systems Sciences, vol.\u00a0170, pp. 265\u2013292. Springer, Heidelberg (2000)"},{"key":"18_CR12","unstructured":"ISO\/DIS 26262: Road Vehicles, Functional Safety Part 1 to 10 (2008)"},{"key":"18_CR13","unstructured":"McMillan, K.: The SMV system, symbolic model checking - an approach. Tech. Rep. CMU-CS-92-131, Carnegie Mellon University (1992)"},{"key":"18_CR14","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MS.2001.936213","volume":"18","author":"L. Sha","year":"2001","unstructured":"Sha, L.: Using simplicity to control complexity. IEEE Software\u00a018, 20\u201328 (2001)","journal-title":"IEEE Software"},{"issue":"3","key":"18_CR15","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/S0098-1354(02)00161-8","volume":"27","author":"V. Venkatasubramanian","year":"2003","unstructured":"Venkatasubramanian, V., Rengaswamy, R., Kavuri, S.N.: A review of process fault detection and diagnosis: Part ii: Qualitative models and search strategies. Computers & Chemical Engineering\u00a027(3), 313\u2013326 (2003)","journal-title":"Computers & Chemical Engineering"},{"issue":"3","key":"18_CR16","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/S0098-1354(02)00160-6","volume":"27","author":"V. Venkatasubramanian","year":"2003","unstructured":"Venkatasubramanian, V., Rengaswamy, R., Yin, K., Kavuri, S.N.: A review of process fault detection and diagnosis: Part i: Quantitative model-based methods. Computers & Chemical Engineering\u00a027(3), 293\u2013311 (2003)","journal-title":"Computers & Chemical Engineering"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71067-7_7","volume-title":"Theorem Proving in Higher Order Logics","author":"M. Wenzel","year":"2008","unstructured":"Wenzel, M., Paulson, L.C., Nipkow, T.: The isabelle framework. In: Mohamed, O.A., Muoz, C., Tahar, S. (eds.) TPHOLs 2008. LNCS, vol.\u00a05170, pp. 33\u201338. Springer, Heidelberg (2008)"},{"issue":"2","key":"18_CR18","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.arcontrol.2008.03.008","volume":"32","author":"Y. Zhang","year":"2008","unstructured":"Zhang, Y., Jiang, J.: Bibliographical review on reconfigurable fault-tolerant control systems. Annual Reviews in Control\u00a032(2), 229\u2013252 (2008)","journal-title":"Annual Reviews in Control"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based and Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23866-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T16:30:13Z","timestamp":1554309013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23866-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642238659","9783642238666"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23866-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}