{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:54:00Z","timestamp":1725515640588},"publisher-location":"Boston, MA","reference-count":16,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387096797"},{"type":"electronic","value":"9780387096803"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-09680-3_36","type":"book-chapter","created":{"date-parts":[[2008,7,21]],"date-time":"2008-07-21T11:37:14Z","timestamp":1216640234000},"page":"537-553","source":"Crossref","is-referenced-by-count":5,"title":["The Surprising Robustness of (Closed) Timed Automata against Clock-Drift"],"prefix":"10.1007","author":[{"given":"Mani","family":"Swaminathan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1023\/A:1008387132377","volume":"10","author":"A. Puri","year":"2000","unstructured":"A. Puri, \u201cDynamical Properties of Timed Automata\u201d, Discrete Event Dynamic Systems 10, Kluwer (2000), 87\u2013113","journal-title":"Discrete Event Dynamic Systems"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"M. de Wulf, L. Doyen, N. Markey, and J.-F. Raskin, \u201cRobustness and Implementability of Timed Automata\u201d, Proc. of FORMATS-FTRTFT\u201904, LNCS 3253, Springer (2004), 118-133","DOI":"10.1007\/978-3-540-30206-3_10"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"C. Daws and P. Kordy, \u201cSymbolic Robustness Analysis of Timed Automata\u201d, Proc. of FORMATS\u201906, LNCS 4202, Springer (2006), 143-155","DOI":"10.1007\/11867340_11"},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"C. Dima, \u201cDynamical Properties of Timed Automata Revisited\u201d, Proc. of FORMATS\u201907, LNCS 4763, Springer (2007), 130\u2013146","DOI":"10.1007\/978-3-540-75454-1_11"},{"key":"36_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill, \u201cA Theory of Timed Automata\u201d, Theoretical Computer Science 126, Elsevier (1994), 183\u2013235","journal-title":"Theoretical Computer Science"},{"key":"36_CR6","first-page":"200","volume":"3185","author":"G. Behrmann","year":"2004","unstructured":"G. Behrmann, A. David, and K. Larsen, \u201cA Tutorial on Uppaal\u201d, Formal Methods for the Design of Real-Time Systems, LNCS 3185, Springer-Verlag (2004), 200\u2013236","journal-title":"LNCS"},{"key":"36_CR7","first-page":"298","volume":"1486","author":"M. Bozga","year":"1998","unstructured":"M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, S. Yovine, \u201cKRONOS: A Model-Checking Tool for Real-Time Systems\u201d, Proc. of FTRTFT\u201998, LNCS 1486, Springer (1998), 298\u2013302","journal-title":"LNCS"},{"key":"36_CR8","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/s100090100048","volume":"3","author":"M. Lindahl","year":"2001","unstructured":"M. Lindahl, P. Pettersson, and W. Yi, \u201cFormal Design and Analysis of a Gear Controller\u201d, International Journal on Software Tools for Technology Transfer 3, Springer-Verlag (2001), 353\u2013368","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"36_CR9","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1016\/S0304-3975(02)00334-1","volume":"300","author":"L. Aceto","year":"2003","unstructured":"L. Aceto, P. Bouyer, A. Burgueno, and K. Larsen, \u201cThe Power of Reachability Testing for Timed Automata\u201d, Theoretical Computer Science 300, Elsevier (2003), 411-475","journal-title":"Theoretical Computer Science"},{"key":"36_CR10","first-page":"87","volume":"3098","author":"J. Bengtsson","year":"2004","unstructured":"J. Bengtsson and W. Yi, \u201cTimed Automata: Semantics, Algorithms, and Tools\u201d, Lectures on Concurrency and Petri Nets, LNCS 3098, Springer (2004), 87\u2013124","journal-title":"LNCS"},{"key":"36_CR11","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1023\/B:FORM.0000026093.21513.31","volume":"24","author":"P. Bouyer","year":"2004","unstructured":"P. Bouyer, \u201cForward Analysis of Updatable Timed Automata\u201d, Formal Methods in System Design 24, Kluwer (2004), 281\u2013320","journal-title":"Formal Methods in System Design"},{"key":"36_CR12","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"M. Kwiatkowska","year":"2002","unstructured":"M. Kwiatkowska, G. Norman, R. Segala, and J. Sproston, \u201cAutomatic Verification of Real-time Systems with Discrete Probability Distributions\u201d, Theoretical Computer Science 282, Elsevier (2002), 101-150","journal-title":"Theoretical Computer Science"},{"key":"36_CR13","first-page":"331","volume":"1201","author":"V. Gupta","year":"1997","unstructured":"V. Gupta, T. A. Henzinger, and R. Jagadeesan, \u201cRobust Timed Automata\u201d, Proc. of HART\u201997, LNCS 1201, Springer (1997), 331\u2013345","journal-title":"LNCS"},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"J. Ouaknine and J. Worrell, \u201cRevisiting Digitization, Robustness, and Decidability for Timed Automata\u201d, Proc. of LICS\u201903, IEEE CS Press (2003), 198-207","DOI":"10.1109\/LICS.2003.1210059"},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"P. Bouyer, N. Markey, and P.-A. Reynier, \u201cRobust Model-Checking of Linear-Time Properties in Timed Automata\u201d, Proc. of LATIN\u201906, LNCS 3887, Springer (2006), 238\u2013249.","DOI":"10.1007\/11682462_25"},{"key":"36_CR16","doi-asserted-by":"crossref","unstructured":"P. Bouyer, N. Markey, and P.-A. Reynier, \u201cRobust Analysis of Timed Automata via Channel Machines\u201d, Proc. of FoSSaCS\u201908, LNCS 4962, Springer (2008), 157-171","DOI":"10.1007\/978-3-540-78499-9_12"}],"container-title":["IFIP International Federation for Information Processing","Fifth Ifip International Conference On Theoretical Computer Science \u2013 Tcs 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-09680-3_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:56Z","timestamp":1605647096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-09680-3_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387096797","9780387096803"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-09680-3_36","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[]}}