{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:44:45Z","timestamp":1742913885609,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642170706"},{"type":"electronic","value":"9783642170713"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17071-3_15","type":"book-chapter","created":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T12:12:58Z","timestamp":1289477578000},"page":"290-310","source":"Crossref","is-referenced-by-count":4,"title":["Methodologies for Specification of Real-Time Systems Using Timed I\/O Automata"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"David","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrik","family":"Nyman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"15_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. Theor. Comput. Sci.\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00173-4","volume":"211","author":"R. Alur","year":"1999","unstructured":"Alur, R., Fix, L., Henzinger, T.A.: Event-clock automata: A determinizable class of timed automata. Theoretical Computer Science\u00a0211, 1\u201313 (1999)","journal-title":"Theoretical Computer Science"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-73368-3_14","volume-title":"Computer Aided Verification","author":"G. Behrmann","year":"2007","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: Uppaal-tiga: Time for playing games? In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 121\u2013125. Springer, Heidelberg (2007)"},{"key":"15_CR4","first-page":"125","volume-title":"QEST","author":"G. Behrmann","year":"2006","unstructured":"Behrmann, G., David, A., Larsen, K.G., H\u00e5kansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: QEST, pp. 125\u2013126. IEEE Computer Society, Los Alamitos (2006)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-85778-5_17","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J. Berendsen","year":"2008","unstructured":"Berendsen, J., Vaandrager, F.W.: Compositional abstraction in real-time model checking. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol.\u00a05215, pp. 233\u2013249. Springer, Heidelberg (2008)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_35","volume-title":"Formal Methods and Software Engineering","author":"N. Bertrand","year":"2009","unstructured":"Bertrand, N., Legay, A., Pinchinat, S., Raclet, J.-B.: A compositional approach on modal specifications for timed systems. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, Springer, Heidelberg (2009)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-00982-2_13","volume-title":"Language and Automata Theory and Applications","author":"N. Bertrand","year":"2009","unstructured":"Bertrand, N., Pinchinat, S., Raclet, J.-B.: Refinement and consistency of timed modal specifications. In: Dediu, A.H., Ionescu, A.M., Mart\u00edn-Vide, C. (eds.) LATA 2009. LNCS, vol.\u00a05457, pp. 152\u2013163. Springer, Heidelberg (2009)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-04368-0_8","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"P. Bulychev","year":"2009","unstructured":"Bulychev, P., Chatain, T., David, A., Larsen, K.G.: Efficient on-the-fly algorithm for checking alternating timed simulation. In: Ouaknine, J., Vaandrager, F.W. (eds.) FORMATS 2009. LNCS, vol.\u00a05813, pp. 73\u201387. Springer, Heidelberg (2009)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/11539452_9","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"F. Cassez","year":"2005","unstructured":"Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: Efficient on-the-fly algorithms for the analysis of timed games. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 66\u201380. Springer, Heidelberg (2005)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-56922-7_21","volume-title":"Computer Aided Verification","author":"K. \u010cer\u0101ns","year":"1993","unstructured":"\u010cer\u0101ns, K., Godskesen, J.C., Larsen, K.G.: Timed modal specification - theory and tools. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697, pp. 253\u2013267. Springer, Heidelberg (1993)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-45212-6_9","volume-title":"Embedded Software","author":"A. Chakabarti","year":"2003","unstructured":"Chakabarti, A., de Alfaro, L., Henzinger, T.A., Stoelinga, M.I.A.: Resource interfaces. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 117\u2013133. Springer, Heidelberg (2003)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., W\u0105sowski, A.: Timed I\/O automata: a complete specification theory for real-time systems. In: HSCC (2010) (accepted)","DOI":"10.1145\/1755952.1755967"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-73368-3_13","volume-title":"Computer Aided Verification","author":"L. Alfaro de","year":"2007","unstructured":"de Alfaro, L., Faella, M.: An accelerated algorithm for 3-color parity games with an application to timed games. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 108\u2013120. Springer, Heidelberg (2007)"},{"key":"15_CR14","first-page":"109","volume-title":"FSE","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: FSE, Vienna, Austria, pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"15_CR15","volume-title":"Marktoberdorf Summer School","author":"L. Alfaro de","year":"2004","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Marktoberdorf Summer School. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45828-X_9","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2002","unstructured":"de Alfaro, L., Henzinger, T.A., Stoelinga, M.I.A.: Timed interfaces. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 108\u2013122. Springer, Heidelberg (2002)"},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/REAL.1997.641292","volume-title":"Proceedings of the 18th IEEE Real-Time Systems Symposium","author":"Z. Deng","year":"1997","unstructured":"Deng, Z., Liu, J.W.s.: Scheduling real-time applications in an open environment. In: Proceedings of the 18th IEEE Real-Time Systems Symposium, pp. 308\u2013319. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"15_CR18","unstructured":"Garland, S.J., Lynch, N.A.: The IOA language and toolset: Support for designing, analyzing, and building distributed systems. Technical report, Massachusetts Institute of Technology, Cambridge, MA (1998)"},{"key":"15_CR19","first-page":"253","volume-title":"IEEE Real Time Technology and Applications Symposium","author":"T.A. Henzinger","year":"2006","unstructured":"Henzinger, T.A., Matic, S.: An interface algebra for real-time components. In: IEEE Real Time Technology and Applications Symposium, pp. 253\u2013266. IEEE Computer Society, Los Alamitos (2006)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11813040_1","volume-title":"FM 2006: Formal Methods","author":"T.A. Henzinger","year":"2006","unstructured":"Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"15_CR21","first-page":"166","volume-title":"RTSS","author":"D.K. Kaynar","year":"2003","unstructured":"Kaynar, D.K., Lynch, N.A., Segala, R., Vaandrager, F.W.: Timed i\/o automata: A mathematical framework for modeling and analyzing real-time systems. In: RTSS, pp. 166\u2013177. IEEE Computer Society, Los Alamitos (2003)"},{"key":"15_CR22","volume-title":"Synthesis Lectures on Computer Science","author":"D.K. Kaynar","year":"2009","unstructured":"Kaynar, D.K., Lynch, N.A., Segala, R., Vaandrager, F.W.: The Theory of Timed I\/O Automata. Synthesis Lectures on Computer Science. Morgan & Claypool Publishers, San Francisco (2009)"},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-52148-8_19","volume-title":"Automatic Verification Methods for Finite State Systems","author":"K.G. Larsen","year":"1990","unstructured":"Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 232\u2013246. Springer, Heidelberg (1990)"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K.G. Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., Wasowski, A.: Modal I\/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K.G. Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., Wasowski, A.: Modal i\/o automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"issue":"1-2","key":"15_CR26","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/s100090050006","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Steffen, B., Weise, C.: Continuous modeling of real-time and hybrid systems: From concepts to tools. STTT\u00a01(1-2), 64\u201385 (1997)","journal-title":"STTT"},{"key":"15_CR27","doi-asserted-by":"crossref","DOI":"10.1201\/9781420011746","volume-title":"Handbook of Real-Time and Embedded Systems","author":"I. Lee","year":"2007","unstructured":"Lee, I., Leung, J.Y.-T., Son, S.H.: Handbook of Real-Time and Embedded Systems. Chapman, Boca Raton (2007)"},{"key":"15_CR28","first-page":"29","volume-title":"Annual Conference on Information Sciences and Systems","author":"N. Lynch","year":"1988","unstructured":"Lynch, N.: I\/O automata: A model for discrete event systems. In: Annual Conference on Information Sciences and Systems, pp. 29\u201338. Princeton University, Princeton (1988)"},{"key":"15_CR29","volume-title":"An introduction to input\/output automata. Technical Report MIT\/LCS\/TM-373","author":"N.A. Lynch","year":"1988","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. Technical Report MIT\/LCS\/TM-373. The MIT Press, Cambridge (November 1988)"},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems (an extended abstract). In: STACS, pp. 229\u2013242 (1995)","DOI":"10.1007\/3-540-59042-0_76"},{"key":"15_CR31","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1988","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1988)"},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"Nicola, R.D., Segala, R.: A process algebraic view of input\/output automata. Theoretical Computer Science\u00a0138 (1995)","DOI":"10.1016\/0304-3975(95)92307-J"},{"key":"15_CR33","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1629335.1629348","volume-title":"EMSOFT","author":"J.-B. Raclet","year":"2009","unstructured":"Raclet, J.-B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: Modal interfaces: unifying interface automata and modal specifications. In: EMSOFT, pp. 87\u201396. ACM, New York (2009)"},{"key":"15_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-45187-7_13","volume-title":"CONCUR 2003 - Concurrency Theory","author":"E.W. Stark","year":"2003","unstructured":"Stark, E.W., Cleavland, R., Smolka, S.A.: A process-algebraic language for probabilistic I\/O automata. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 193\u2013207. Springer, Heidelberg (2003)"},{"key":"15_CR35","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/1176887.1176894","volume-title":"EMSOFT","author":"L. Thiele","year":"2006","unstructured":"Thiele, L., Wandeler, E., Stoimenov, N.: Real-time interfaces for composing real-time systems. In: EMSOFT, pp. 34\u201343. ACM, New York (2006)"},{"key":"15_CR36","unstructured":"http:\/\/www.cs.aau.dk\/~adavid\/tiga\/tio.html"},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"Vaandrager, F.W.: On the relationship between process algebra and input\/output automata. In: LICS, pp. 387\u2013398 (1991)","DOI":"10.1109\/LICS.1991.151662"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17071-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T19:16:44Z","timestamp":1740683804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17071-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642170706","9783642170713"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17071-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}