{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:58Z","timestamp":1761596938949},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540309468"},{"type":"electronic","value":"9783540316169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11603009_21","type":"book-chapter","created":{"date-parts":[[2005,11,28]],"date-time":"2005-11-28T06:13:33Z","timestamp":1133158413000},"page":"273-288","source":"Crossref","is-referenced-by-count":31,"title":["Implementation of Timed Automata: An Issue of Semantics or Modeling?"],"prefix":"10.1007","author":[{"given":"Karine","family":"Altisen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_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.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0055622","volume-title":"CONCUR \u201998 Concurrency Theory","author":"R. Alur","year":"1998","unstructured":"Alur, R., Henzinger, T., Kupferman, O., Vardi, M.: Alternating refinement relations. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 163\u2013178. Springer, Heidelberg (1998)"},{"key":"21_CR3","volume-title":"Languages, Compilers, and Tools for Embedded Systems (LCTES 2003)","author":"R. Alur","year":"2003","unstructured":"Alur, R., Ivancic, F., Kim, J., Lee, I., Sokolsky, O.: Generating embedded software from hierarchical hybrid models. In: Languages, Compilers, and Tools for Embedded Systems (LCTES 2003). ACM, New York (2003)"},{"issue":"4","key":"21_CR4","first-page":"269","volume":"9","author":"T. Amnell","year":"2002","unstructured":"Amnell, T., Fersman, E., Pettersson, P., Yi, W., Sun, H.: Code synthesis for timed automata. Nordic J. of Computing\u00a09(4), 269\u2013300 (2002)","journal-title":"Nordic J. of Computing"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-45212-6_7","volume-title":"Embedded Software","author":"P. Caspi","year":"2003","unstructured":"Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S.: Translating discrete-time Simulink to Lustre. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 84\u201399. Springer, Heidelberg (2003)"},{"key":"21_CR6","volume-title":"Languages, Compilers, and Tools for Embedded Systems (LCTES 2003)","author":"P. Caspi","year":"2003","unstructured":"Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P.: From Simulink to SCADE\/Lustre to TTA: a layered approach for distributed embedded applications. In: Languages, Compilers, and Tools for Embedded Systems (LCTES 2003). ACM, New York (2003)"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/BFb0020947","volume-title":"Hybrid Systems III","author":"C. Daws","year":"1996","unstructured":"Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool Kronos. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 208\u2013219. Springer, Heidelberg (1996)"},{"key":"21_CR8","volume-title":"Foundations of Software Engineering (FSE)","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Foundations of Software Engineering (FSE). ACM Press, New York (2001)"},{"key":"21_CR9","volume-title":"Synchronous Programming of Reactive Systems","author":"N. Halbwachs","year":"1992","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer, Dordrecht (1992)"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Embedded Software","author":"T. Henzinger","year":"2001","unstructured":"Henzinger, T., Horowitz, B., Kirsch, C.: Giotto: A time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, p. 166. Springer, Heidelberg (2001)"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"T. Henzinger","year":"1992","unstructured":"Henzinger, T., Manna, Z., Pnueli, A.: What good are digital clocks? In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623. Springer, Heidelberg (1992)"},{"key":"21_CR12","volume-title":"Real-Time Systems Design Principles for Distributed Embedded Applications","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H.: Real-Time Systems Design Principles for Distributed Embedded Applications. Kluwer, Dordrecht (1997)"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-540-28644-8_22","volume-title":"CONCUR 2004 - Concurrency Theory","author":"P. Kr\u010d\u00e1l","year":"2004","unstructured":"Kr\u010d\u00e1l, P., Mokrushin, L., Thiagarajan, P.S., Yi, W.: Timed vs. Time-triggered automata. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 340\u2013354. Springer, Heidelberg (2004)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Larsen, K., Petterson, P., Yi, W.: Uppaal in a nutshell. Software Tools for Technology Transfer\u00a01(1\/2) (October 1997)","DOI":"10.1007\/s100090050010"},{"key":"21_CR15","volume-title":"LICS 2003","author":"J. Ouaknine","year":"2003","unstructured":"Ouaknine, J., Worrell, J.: Revisiting digitization, robustness, and decidability for timed automata. In: LICS 2003. IEEE CS Press, Los Alamitos (2003)"},{"issue":"1-2","key":"21_CR16","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1023\/A:1008387132377","volume":"10","author":"A. Puri","year":"2000","unstructured":"Puri, A.: Dynamical properties of timed automata. Discrete Event Dynamic Systems\u00a010(1-2), 87\u2013113 (2000)","journal-title":"Discrete Event Dynamic Systems"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Scaife, N., Caspi, P.: Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems. In: Euromicro conference on Real-Time Systems (ECRTS 2004) (2004)","DOI":"10.1109\/EMRTS.2004.1311013"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Scaife, N., Sofronis, C., Caspi, P., Tripakis, S., Maraninchi, F.: Defining and translating a \u201csafe\u201d subset of Simulink\/Stateflow into Lustre. In: 4th ACM International Conference on Embedded Software (EMSOFT 2004) (2004)","DOI":"10.1145\/1017753.1017795"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Sofronis, C., Scaife, N., Caspi, P.: Semantics-preserving and memory-efficient implementation of inter-task communication under static-priority or EDF schedulers. In: 5th ACM Intl. Conf. on Embedded Software (EMSOFT 2005) (2005)","DOI":"10.1145\/1086228.1086292"},{"issue":"1","key":"21_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1008734703554","volume":"18","author":"S. Tripakis","year":"2001","unstructured":"Tripakis, S., Yovine, S.: Analysis of timed systems using time-abstracting bisimulations. Formal Methods in System Design\u00a018(1), 25\u201368 (2001)","journal-title":"Formal Methods in System Design"},{"key":"21_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-24743-2_20","volume-title":"Hybrid Systems: Computation and Control","author":"M. Wulf De","year":"2004","unstructured":"De Wulf, M., Doyen, L., Raskin, J.-F.: Almost ASAP semantics: From timed models to timed implementations. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 296\u2013310. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11603009_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:03:25Z","timestamp":1619492605000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11603009_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540309468","9783540316169"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11603009_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}