{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:31:22Z","timestamp":1761323482925},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660101"},{"type":"electronic","value":"9783540487784"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"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":[[1999]]},"DOI":"10.1007\/3-540-48778-6_18","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T06:18:07Z","timestamp":1178000287000},"page":"299-314","source":"Crossref","is-referenced-by-count":45,"title":["Verifying Progress in Timed Systems"],"prefix":"10.1007","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, and D.L. Dill. Model checking in dense real time. Information and Computation, 104(1):2\u201334, 1993.","journal-title":"Information and Computation"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"[BFK+98]_H. Bowman, G. Faconti, J-P. Katoen, D. Latella, and M. Massink. Automatic verification of a lip synchronisation algorithm using uppaal. In 3rd International Workshop on Formal Methods for Industrial Critical Systems, 1998.","DOI":"10.1007\/s001650050032"},{"key":"18_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/BFb0014733","volume-title":"International Workshop, HART\u201997","author":"S. Bornot","year":"1997","unstructured":"S. Bornot and J. Sifakis. Relating time progress and deadlines in hybrid systems. In International Workshop, HART\u201997, pages 286\u2013300, Grenoble, France, March 1997. Lecture Notes in Computer Science 1201, Spinger-Verlag."},{"key":"18_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Compositionality","author":"S. Bornot","year":"1998","unstructured":"S. Bornot, J. Sifakis, and S. Tripakis. Modeling urgency in timed systems. In Compositionality, LNCS 1536, 1998. To appear."},{"key":"18_CR5","unstructured":"C. Daws. M\u00e9thodes d\u2019analyse de syst\u00e8mes temporis\u00e9s: de la th\u00e9orie \u00e0 la pratique. PhD thesis, Institut National Polytechnique de Grenoble, 1998. In french."},{"key":"18_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D.L. Dill","year":"1989","unstructured":"D.L. Dill. Timing assumptions and verification of finite-state concurrent systems. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science 407, pages 197\u2013212. Springer-Verlag, 1989."},{"key":"18_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems\u2019 98, Lisbon, Portugal","author":"C. Daws","year":"1998","unstructured":"C. Daws and S. Tripakis. Model checking of real-time reachability properties using abstractions. In Tools and Algorithms for the Construction and Analysis of Systems\u2019 98, Lisbon, Portugal, volume 1384 of LNCS. Springer-Verlag, 1998."},{"issue":"2","key":"18_CR8","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T.A. Henzinger","year":"1994","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"18_CR9","unstructured":"A. Olivero. Mod\u00e9lisation et analyse de syst\u00e8mes temporis\u00e9s et hybrides. PhD thesis, Institut National Polytechnique de Grenoble, 1994. In french."},{"key":"18_CR10","series-title":"Lect Notes Comput Sci","first-page":"347","volume-title":"13th Annual Symposium on Theoretical Aspects of Computer Science, STACS\u201996","author":"J. Sifakis","year":"1996","unstructured":"J. Sifakis and S. Yovine. Compositional specification of timed systems. In 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS\u201996, pages 347\u2013359, Grenoble, France, February 1996. Lecture Notes in Computer Science 1046, Spinger-Verlag."},{"key":"18_CR11","unstructured":"S. Tripakis. The formal analysis of timed systems in practice. PhD thesis, Universit\u00e9 Joseph Fourrier de Grenoble, 1998. To be published."},{"key":"18_CR12","unstructured":"S. Yovine. M\u00e9thodes et outils pour la v\u00e9rification symbolique de syst\u00e8mes temporis\u00e9s. PhD thesis, Institut National Polytechnique de Grenoble, 1993. In french."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Real-Time and Probabilistic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48778-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T12:34:42Z","timestamp":1556368482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48778-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660101","9783540487784"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-48778-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}