{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:41:05Z","timestamp":1725514865037},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682356"},{"type":"electronic","value":"9783540682370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68237-0_26","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T05:36:00Z","timestamp":1212557760000},"page":"374-389","source":"Crossref","is-referenced-by-count":8,"title":["Masking Faults While Providing Bounded-Time Phased Recovery"],"prefix":"10.1007","author":[{"given":"Borzoo","family":"Bonakdarpour","sequence":"first","affiliation":[]},{"given":"Sandeep S.","family":"Kulkarni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"26_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"26_CR2","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/s100090050007","volume":"1","author":"R. Alur","year":"1997","unstructured":"Alur, R., Henzinger, T.A.: Real-Time System = Discrete System + Clock Variables. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 86\u2013109 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"doi-asserted-by":"crossref","unstructured":"Asarin, E., Maler, O.: As soon as possible: Time optimal control for timed automata. In: Hybrid Systems: Computation and Control (HSCC), pp. 19\u201330 (1999)","key":"26_CR3","DOI":"10.1007\/3-540-48983-5_6"},{"doi-asserted-by":"crossref","unstructured":"Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: IFAC Symposium on System Structure and Control, pp. 469\u2013474 (1998)","key":"26_CR4","DOI":"10.1016\/S1474-6670(17)42032-5"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters\u00a021, 181\u2013185 (1985)","journal-title":"Information Processing Letters"},{"doi-asserted-by":"crossref","unstructured":"Bouyer, P., D\u2019Souza, D., Madhusudan, P., Petit, A.: Timed control with partial observability. In: Computer Aided Verification (CAV), pp. 180\u2013192 (2003)","key":"26_CR6","DOI":"10.1007\/978-3-540-45069-6_18"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-540-70952-7_17","volume-title":"Formal Methods: Applications and Technology","author":"B. Bonakdarpour","year":"2007","unstructured":"Bonakdarpour, B., Kulkarni, S.S.: Automated Incremental Synthesis of Timed Automata. In: Brim, L., Haverkort, B.R., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol.\u00a04346, pp. 261\u2013276. Springer, Heidelberg (2007)"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-49823-0_9","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"B. Bonakdarpour","year":"2006","unstructured":"Bonakdarpour, B., Kulkarni, S.S.: Incremental Synthesis of Fault-Tolerant Real-Time Programs. In: Datta, A.K., Gradinariu, M. (eds.) SSS 2006. LNCS, vol.\u00a04280, pp. 122\u2013136. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Kulkarni, S.S.: Exploiting symbolic techniques in automated synthesis of distributed programs with large state space. In: IEEE International Conference on Distributed Computing Systems (ICDCS), pp. 3\u201310 (2007)","key":"26_CR9","DOI":"10.1109\/ICDCS.2007.109"},{"doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Faella, M., Henzinger, T.A., Majumdar, R., Stoelinga, M.: The element of surprise in timed games. In: International Conference on Concurrency Theory (CONCUR) (2003)","key":"26_CR10","DOI":"10.1007\/978-3-540-45187-7_9"},{"doi-asserted-by":"crossref","unstructured":"D\u2019Souza, D., Madhusudan, P.: Timed control synthesis for external specifications. In: Symposium on Theoretical Aspects of Computer Science (STACS), pp. 571\u2013582 (2002)","key":"26_CR11","DOI":"10.1007\/3-540-45841-7_47"},{"doi-asserted-by":"crossref","unstructured":"Faella, M., LaTorre, S., Murano, A.: Dense real-time games. In: Logic in Computer Science (LICS), pp. 167\u2013176 (2002)","key":"26_CR12","DOI":"10.1109\/LICS.2002.1029826"},{"issue":"3","key":"26_CR13","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0020-0190(92)90005-G","volume":"43","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A.: Sooner is safer than later. Information Processing Letters\u00a043(3), 135\u2013141 (1992)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","FM 2008: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68237-0_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:43:41Z","timestamp":1620017021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68237-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682356","9783540682370"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68237-0_26","relation":{},"subject":[]}}