{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T00:29:21Z","timestamp":1768004961228,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540654933","type":"print"},{"value":"9783540492139","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49213-5_5","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T07:03:39Z","timestamp":1197183819000},"page":"103-129","source":"Crossref","is-referenced-by-count":74,"title":["Modeling Urgency in Timed Systems"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"Bornot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,5,21]]},"reference":[{"key":"5_CR1","unstructured":"N.C. Audsley, A. Bums, M.F. Richardson, and A.J. Wellings. Deadlinemonotonic scheduling. In Proc. 8th IEEE Workshop on Real-time Operating Systems and Software, 1991."},{"issue":"1","key":"5_CR2","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"},{"issue":"11","key":"5_CR3","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"J.F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832\u2013843, November 1983.","journal-title":"Communications of the ACM"},{"key":"5_CR4","unstructured":"S. Bornot and J. Sifakis. On the composition of hybrid systems (complete version). In International NATO Summer School on \u201cVerification of Digital and Hybrid Systems\u201d, Antalya, Turkey, 1997."},{"key":"5_CR5","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."},{"issue":"2","key":"5_CR6","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":"5_CR7","doi-asserted-by":"crossref","unstructured":"M. Jourdan, N. Laya\u00efda, L. Sabry-Ismail, and C. Roisin. Authoring and presentation environment for interactive multimedia documents. In Proc. of the 4th Conf. on Multimedia Modelling, Singapore, November 1997. World Scientific Publishing.","DOI":"10.1145\/290747.290780"},{"key":"5_CR8","volume-title":"Master\u2019s thesis","author":"P. Merlin","year":"1974","unstructured":"P. Merlin. A study of the recoverability of computer systems. Master\u2019s thesis, University of California, Irvine, 1974."},{"issue":"5-6","key":"5_CR9","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF02998492","volume":"49","author":"P. S\u00e9nac","year":"1994","unstructured":"P. S\u00e9nac, M. Diaz, and P. de Saqui-Sannes. Toward a formal specification of multimedia scenarios. Annals of telecomunications, 49(5-6):297\u2013314, 1994.","journal-title":"Annals of telecomunications"},{"key":"5_CR10","unstructured":"J. Sifakis. Use of petri nets for performance evaluation. In H. Beilner and E. Gelenebe, editors, Measuring, modelling and evaluating computer systems, pages 75\u201393. North-Holland, 1977."},{"key":"5_CR11","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."}],"container-title":["Lecture Notes in Computer Science","Compositionality: The Significant Difference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49213-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,30]],"date-time":"2021-08-30T04:11:02Z","timestamp":1630296662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49213-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654933","9783540492139"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-49213-5_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}