{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:10Z","timestamp":1775054350490,"version":"3.50.1"},"reference-count":30,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/real.2003.1253264","type":"proceedings-article","created":{"date-parts":[[2004,5,25]],"date-time":"2004-05-25T20:11:16Z","timestamp":1085515876000},"page":"166-177","source":"Crossref","is-referenced-by-count":44,"title":["Timed I\/O automata: a mathematical framework for modeling and analyzing real-time systems"],"prefix":"10.1109","author":[{"given":"D.K.","family":"Kaynar","sequence":"first","affiliation":[]},{"given":"N.","family":"Lynch","sequence":"additional","affiliation":[]},{"given":"R.","family":"Segala","sequence":"additional","affiliation":[]},{"given":"F.","family":"Vaandrager","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1996.563701"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2003.1319112"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342724"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/3-540-63166-6_48","article-title":"HYTECH: A Model Checker for Hybrid Systems","volume":"1254","author":"henzinger","year":"1997","journal-title":"Proceedings of the 9th International Conference on Computer Aided Verification"},{"key":"ref13","first-page":"135","article-title":"Sooner is safer than later. Information Processing Letters","volume":"43","author":"henzinger","year":"1992"},{"key":"ref14","article-title":"Timed I\/O automata","author":"kaynar","year":"2003","journal-title":"Technical Report MIT\/LCS\/TR-917 MIT Laboraty for Computer Science"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nutshell","volume":"1 2","author":"larsen","year":"1997","journal-title":"Journal of Software Tools for Technology Transfer"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818833"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00067-1"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1007\/BFb0020971","article-title":"Hybrid I\/O automata","volume":"1066","author":"lynch","year":"1996","journal-title":"Hybrid Systems III"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1992.242681"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(96)00122-6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref27","article-title":"Modelling and Verification of Real-Time Systems Using Timed Automata:Theory and Practice","author":"petterson","year":"1999","journal-title":"Technical Report Docs 99\/101"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","article-title":"Timed automata","volume":"1633","author":"alur","year":"1999","journal-title":"In Proc of 11th International Conference on Computer-Aided Verification (CAV)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01872848"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2671"},{"key":"ref5","first-page":"183","article-title":"A theory of timed automata. Theoretical Computer Science","volume":"126","author":"alur","year":"1994"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(90)90181-V"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1989.63580"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"ref9","article-title":"ACM Distinguished Dissertations","author":"dill","year":"1988","journal-title":"Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits"},{"key":"ref1","first-page":"73","article-title":"Composing specifications. ACM Transactions on Programming Languages and Systems","volume":"1","author":"abadi","year":"1993"},{"key":"ref20","first-page":"219","article-title":"An introduction to input\/output automata","volume":"2","author":"lynch","year":"1989","journal-title":"CWI Quarterly"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0060"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211907"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54430-5_103"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BFb0032003","article-title":"From timed to hybrid systems","volume":"600","author":"maler","year":"1991","journal-title":"Proceedings of Real-Time Theory in Practice"},{"key":"ref26","first-page":"259","article-title":"Safety verification of model helicopter controller using hybrid input\/output automata","author":"mitra","year":"2003","journal-title":"In Hybrid Systems Computation and Control (HSCC'03)"},{"key":"ref25","article-title":"A Calculus of Communicating Systems","volume":"92","author":"milner","year":"1980"}],"event":{"name":"24th IEEE International Real-Time Systems Symposium","location":"Cancun, Mexico","acronym":"REAL-03"},"container-title":["Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8877\/28040\/01253264.pdf?arnumber=1253264","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,17]],"date-time":"2024-12-17T00:01:48Z","timestamp":1734393708000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1253264\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/real.2003.1253264","relation":{},"subject":[]}}