{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T18:46:04Z","timestamp":1692557164907},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,3,31]],"date-time":"2007-03-31T00:00:00Z","timestamp":1175299200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2007,8,30]]},"DOI":"10.1007\/s10703-007-0034-5","type":"journal-article","created":{"date-parts":[[2007,3,30]],"date-time":"2007-03-30T16:54:37Z","timestamp":1175273677000},"page":"101-134","source":"Crossref","is-referenced-by-count":2,"title":["Timed substitutions for regular signal-event languages"],"prefix":"10.1007","volume":"31","author":[{"given":"B\u00e9atrice","family":"B\u00e9rard","sequence":"first","affiliation":[]},{"given":"Paul","family":"Gastin","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Petit","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,3,31]]},"reference":[{"key":"34_CR1","series-title":"LNCS","first-page":"322","volume-title":"Proceedings of ICALP\u201990","author":"R Alur","year":"1990","unstructured":"Alur R, Dill DL (1990) Automata for modeling real-time systems. In: Proceedings of ICALP\u201990. LNCS, vol\u00a0443. Springer, New York, pp\u00a0322\u2013335"},{"key":"34_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126:183\u2013235","journal-title":"Theor Comput Sci"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Asarin E, Caspi P, Maler O (1997) A Kleene theorem for timed automata. In: Proceedings of LICS\u201997. IEEE Comp Soc Press, pp 160\u2013171","DOI":"10.1109\/LICS.1997.614944"},{"issue":"2","key":"34_CR4","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1145\/506147.506151","volume":"49","author":"E Asarin","year":"2002","unstructured":"Asarin E, Caspi P, Maler O (2002) Timed regular expressions. J ACM 49(2):172\u2013206","journal-title":"J ACM"},{"issue":"1","key":"34_CR5","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/s002360050003","volume":"37","author":"B B\u00e9rard","year":"2000","unstructured":"B\u00e9rard B, Picaronny C (2000) Accepting Zeno words: a way toward timed refinements. Acta Inform 37(1):45\u201381","journal-title":"Acta Inform"},{"key":"34_CR6","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/FI-1998-36233","volume":"36","author":"B B\u00e9rard","year":"1998","unstructured":"B\u00e9rard B, Diekert V, Gastin P, Petit A (1998) Characterization of the expressive power of silent transitions in timed automata. Fundam Informaticae 36:145\u2013182","journal-title":"Fundam Informaticae"},{"key":"34_CR7","series-title":"LNCS","first-page":"52","volume-title":"Proceedings of FORMATS\u201906","author":"B B\u00e9rard","year":"2006","unstructured":"B\u00e9rard B, Gastin P, Petit A (2006) Intersection of regular signal-event (timed) languages. In: Asarin\u00a0E, Bouyer P (eds) Proceedings of FORMATS\u201906. LNCS, vol\u00a04202 Springer, New York, pp\u00a052\u201366"},{"key":"34_CR8","series-title":"LNCS","first-page":"67","volume-title":"Proceedings of FORMATS\u201906","author":"B B\u00e9rard","year":"2006","unstructured":"B\u00e9rard B, Gastin P, Petit A (2006) Refinements and abstractions of signal-event (timed) languages. In: Asarin, E, Bouyer, P (eds) Proceedings of FORMATS\u201906. LNCS, vol\u00a04202 Springer, New York, pp\u00a067\u201381"},{"issue":"3","key":"34_CR9","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1023\/B:FORM.0000026093.21513.31","volume":"24","author":"P Bouyer","year":"2004","unstructured":"Bouyer P (2004) Forward analysis of updatable timed automata. Form Method Syst Des 24(3):281\u2013320 May 2004","journal-title":"Form Method Syst Des"},{"key":"34_CR10","unstructured":"Cuijpers PJL, Reniers MA, Engels AG (2001) Beyond zeno-behaviour. Technical Report CSR 01-04, Department of Computing Science, University of Technology, Eindhoven"},{"key":"34_CR11","series-title":"LNCS","first-page":"279","volume-title":"Proceedings of STACS\u20192000","author":"C Dima","year":"2000","unstructured":"Dima C (2000) Real-time automata and the kleene algebra of sets of real numbers. In: Proceedings of STACS\u20192000. LNCS, vol\u00a01770. Springer, New York, pp\u00a0279\u2013289"},{"key":"34_CR12","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/j.ipl.2003.11.010","volume":"89","author":"J Durand-Lose","year":"2004","unstructured":"Durand-Lose J (2004) A Kleene theorem for splitable signals. Inf Process Lett 89:237\u2013245","journal-title":"Inf Process Lett"},{"key":"34_CR13","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0304-3975(94)00145-9","volume":"138","author":"MR Hansen","year":"1995","unstructured":"Hansen MR, Pandya PK, Zhou C (1995) Finite divergence. Theor Comput Sci 138:113\u2013139","journal-title":"Theor Comput Sci"},{"key":"34_CR14","volume-title":"Infinite words","author":"D Perrin","year":"2004","unstructured":"Perrin D, Pin J-E (2004) Infinite words. Elsevier, Amsterdam"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-007-0034-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-007-0034-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-007-0034-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,21]],"date-time":"2020-04-21T00:43:41Z","timestamp":1587429821000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-007-0034-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,31]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,8,30]]}},"alternative-id":["34"],"URL":"https:\/\/doi.org\/10.1007\/s10703-007-0034-5","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,3,31]]}}}