{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:17:37Z","timestamp":1755217057917,"version":"3.43.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,8,1]],"date-time":"1997-08-01T00:00:00Z","timestamp":870393600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,8,1]],"date-time":"1997-08-01T00:00:00Z","timestamp":870393600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[1997,8]]},"DOI":"10.1023\/a:1008626013578","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:12:40Z","timestamp":1040551960000},"page":"137-155","source":"Crossref","is-referenced-by-count":18,"title":["Computing Accumulated Delays in Real-time Systems"],"prefix":"10.1007","volume":"11","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[]},{"given":"Costas","family":"Courcoubetis","sequence":"additional","affiliation":[]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"139777_CR1","doi-asserted-by":"crossref","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, \u201cModel checking in dense real time,\u201d Information and Computation, Vol. 104, No. 1, pp. 2-34, 1993.","journal-title":"Information and Computation"},{"key":"139777_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, \u201cThe algorithmic analysis of hybrid systems,\u201d Theoretical Computer Science, Vol. 138, pp. 3-34, 1995.","journal-title":"Theoretical Computer Science"},{"key":"139777_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill, \u201cA theory of timed automata,\u201d Theoretical Computer Science, Vol. 126, pp. 183-235, 1994.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"139777_CR4","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R. Alur","year":"1996","unstructured":"R. Alur, T. Feder, and T.A. Henzinger, \u201cThe benefits of relaxing punctuality,\u201d Journal of the ACM, Vol. 43, No. 1, pp. 116-146, 1996.","journal-title":"Journal of the ACM"},{"key":"139777_CR5","doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger, \u201cLogics and models of real time: a survey,\u201d In J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pp. 74-106. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0031988"},{"issue":"3","key":"139777_CR6","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"R. Alur, T.A. Henzinger, and P.-H. Ho, \u201cAutomatic symbolic verification of embedded systems,\u201d IEEE Transactions on Software Engineering, Vol. 22, No. 3, pp. 181-201, 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"139777_CR7","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, R. Echahed, and J. Sifakis, \u201cOn model checking for real-time properties with durations,\u201d In Proceedings of the Eighth Annual Symposium on Logic in Computer Science, pp. 147-159. IEEE Computer Society Press, 1993.","DOI":"10.1109\/LICS.1993.287592"},{"key":"139777_CR8","unstructured":"E.M. Clarke and E.A. Emerson, \u201cDesign and synthesis of synchronization skeletons using branching-time temporal logic,\u201d In Workshop on Logic of Programs, Lecture Notes in Computer Science 131. Springer-Verlag, 1981."},{"key":"139777_CR9","doi-asserted-by":"crossref","unstructured":"K. Cer\u0101ns, \u201cDecidability of bisimulation equivalence for parallel timer processes,\u201d In G. von Bochmann and D.K. Probst, editors, CAV 92: Computer-aided Verification, Lecture Notes in Computer Science 663, pp. 302-315. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56496-9_24"},{"issue":"5","key":"139777_CR10","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Z. Chaochen, C.A.R. Hoare, and A.P. Ravn, \u201cA calculus of durations,\u201d Information Processing Letters, Vol. 40, No. 5, pp. 269-276, 1991.","journal-title":"Information Processing Letters"},{"key":"139777_CR11","doi-asserted-by":"crossref","unstructured":"C. Courcoubetis and M. Yannakakis, \u201cMinimum and maximum delay problems in real-time systems,\u201d In K.G. Larsen and A. Skou, editors, CAV 91: Computer-aided Verification, Lecture Notes in Computer Science 575, pp. 399-409. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-55179-4_37"},{"key":"139777_CR12","doi-asserted-by":"crossref","unstructured":"D.L. Dill, \u201cTiming assumptions and verification of finite-state concurrent systems,\u201d In J. Sifakis, editor, CAV 89: Automatic Verification Methods for Finite-state Systems, Lecture Notes in Computer Science 407, pp. 197-212. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"139777_CR13","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya, \u201cWhat's decidable about hybrid automata?\u201d In Proceedings of the 27th Annual Symposium on Theory of Computing, pp. 373-382. ACM Press, 1995.","DOI":"10.1145\/225058.225162"},{"key":"139777_CR14","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Z. Manna, and A. Pnueli, \u201cWhat good are digital clocks?\u201d In W. Kuich, editor, ICALP 92: Automata, Languages, and Programming, Lecture Notes in Computer Science 623, pp. 545-558. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_103"},{"issue":"2","key":"139777_CR15","doi-asserted-by":"crossref","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, \u201cSymbolic model checking for real-time systems,\u201d Information and Computation, Vol. 111, No. 2, pp. 193-244, 1994.","journal-title":"Information and Computation"},{"key":"139777_CR16","doi-asserted-by":"crossref","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine, \u201cIntegration graphs: a class of decidable hybrid systems,\u201d In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pp. 179-208. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_29"},{"key":"139777_CR17","doi-asserted-by":"crossref","unstructured":"J. Queille and J. Sifakis, \u201cSpecification and verification of concurrent systems in CESAR,\u201d In M. Dezani-Ciancaglini and U. Montanari, editors, Fifth International Symposium on Programming, Lecture Notes in Computer Science 137, pp. 337-351. Springer-Verlag, 1981.","DOI":"10.1007\/3-540-11494-7_22"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008626013578.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008626013578\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008626013578.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:43:46Z","timestamp":1754369026000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008626013578"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,8]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,8]]}},"alternative-id":["139777"],"URL":"https:\/\/doi.org\/10.1023\/a:1008626013578","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1997,8]]}}}