{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:29:59Z","timestamp":1725575399041},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642182747"},{"type":"electronic","value":"9783642182754"}],"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-18275-4_10","type":"book-chapter","created":{"date-parts":[[2011,1,17]],"date-time":"2011-01-17T00:06:38Z","timestamp":1295222798000},"page":"118-133","source":"Crossref","is-referenced-by-count":9,"title":["Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice"],"prefix":"10.1007","author":[{"given":"Chih-Hong","family":"Cheng","sequence":"first","affiliation":[]},{"given":"Harald","family":"Rue\u00df","sequence":"additional","affiliation":[]},{"given":"Alois","family":"Knoll","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Buckl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/s10009-004-0179-0","volume":"7","author":"R. Alur","year":"2005","unstructured":"Alur, R., Madhusudan, P., Nam, W.: Symbolic computational techniques for solving games. International Journal on Software Tools for Technology Transfer (STTT)\u00a07(2), 118\u2013128 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-73368-3_14","volume-title":"Computer Aided Verification","author":"G. Behrmann","year":"2007","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-tiga: Time for playing games! In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 121\u2013125. Springer, Heidelberg (2007)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","first-page":"58","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Berwanger","year":"2010","unstructured":"Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., Henzinger, T.: Alpaga: A tool for solving parity games with imperfect information. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol.\u00a06015, pp. 58\u201361. Springer, Heidelberg (2010)"},{"key":"10_CR4","unstructured":"Cheng, C.-H., Ruess, H., Knoll, A., Buckl, C.: A game-theoretic approach for synthesizing fault-tolerant embedded systems (extended version). In: arXiv:1011.0268 [cs.GT] (2010)"},{"key":"10_CR5","first-page":"79","volume-title":"EMSOFT 2008","author":"L. Doyen","year":"2008","unstructured":"Doyen, L., Henzinger, T., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: EMSOFT 2008, pp. 79\u201388. ACM, New York (2008)"},{"issue":"2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/s10703-009-0084-y","volume":"35","author":"A. Girault","year":"2009","unstructured":"Girault, A., Rutten, \u00c9.: Automating the addition of fault folerance with discrete controller synthesis. Formal Methods in System Design\u00a035(2), 190\u2013225 (2009)","journal-title":"Formal Methods in System Design"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11513988_23","volume-title":"Computer Aided Verification","author":"B. Jobstmann","year":"2005","unstructured":"Jobstmann, B., Griesmayer, A., Bloem, R.: Program repair as a game. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 226\u2013238. Springer, Heidelberg (2005)"},{"key":"10_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511805318","volume-title":"Dirstributed computing: principles, algorithms, and systems","author":"A. Kshemkalyani","year":"2008","unstructured":"Kshemkalyani, A., Singhal, M.: Dirstributed computing: principles, algorithms, and systems. Cambridge University Press, Cambridge (2008)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-45352-0_9","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"S. Kulkarni","year":"2000","unstructured":"Kulkarni, S., Arora, A.: Automating the addition of fault-tolerance. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, pp. 82\u2013359. Springer, Heidelberg (2000)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-540-24597-1_29","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"S. Mohalik","year":"2003","unstructured":"Mohalik, S., Walukiewicz, I.: Distributed games. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, pp. 338\u2013351. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18275-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T18:36:46Z","timestamp":1553366206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18275-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642182747","9783642182754"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18275-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}