{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:07:28Z","timestamp":1725502048455},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775041"},{"type":"electronic","value":"9783540775058"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-77505-8_20","type":"book-chapter","created":{"date-parts":[[2008,1,24]],"date-time":"2008-01-24T07:56:35Z","timestamp":1201161395000},"page":"248-255","source":"Crossref","is-referenced-by-count":1,"title":["Modeling Urgency in Component-Based Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Nguyen","family":"Van Tang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dang","family":"Van Hung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mizuhito","family":"Ogawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_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.L.: A Theory of Timed Automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-49213-5_5","volume-title":"Compositionality: The Significant Difference","author":"S. Bornot","year":"1998","unstructured":"Bornot, S., Sifakis, J., Tripakis, S.: Modeling urgency in timed systems. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 103\u2013129. Springer, Heidelberg (1998)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-58468-4_161","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"Z. Chaochen","year":"1994","unstructured":"Chaochen, Z.: Linear Duration Invariants. In: Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS, vol.\u00a0963, pp. 86\u2013109. Springer, Heidelberg (1994)"},{"key":"20_CR4","unstructured":"Dang, Z., Xie, G.: CTL model-checking for systems with unspecified finite state components. In: SAVCBS 2004, ACM SIGSOFT 2004\/FSE-12, pp. 32\u201338 (2004)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Van Hung, D., Vu Anh, B.: Model Checking Real-time Component Based Systems with Blackbox Testing. In: IEEE proceeding of RTCSA 2005, pp. 76\u201379, Hong Kong, (August 2005)","DOI":"10.1109\/RTCSA.2005.59"}],"container-title":["Lecture Notes in Computer Science","Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77505-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,28]],"date-time":"2019-02-28T20:33:59Z","timestamp":1551386039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77505-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540775041","9783540775058"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77505-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}