{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:19:56Z","timestamp":1729639196433,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2002.1184462","type":"proceedings-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T15:38:00Z","timestamp":1061998680000},"page":"28-33","source":"Crossref","is-referenced-by-count":0,"title":["Submodule construction for timed systems"],"prefix":"10.1109","volume":"1","author":[{"given":"J.","family":"Drissi","sequence":"first","affiliation":[]},{"given":"A.","family":"Khoumsi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"De?rivation de specification a? partir de Sce?narios d'interaction","year":"1997","author":"some?","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01245634"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.5.399"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/357195.357196"},{"key":"16","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-54430-5_103","article-title":"Time-constrained automata","volume":"527","author":"merritt","year":"1991","journal-title":"Proceedings of CONCUR'91 Lecture Notes in Computer Science"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/BF02252683"},{"key":"14","first-page":"229","article-title":"On the synthesis of discrete controllers for timed systems","volume":"900","author":"maler","year":"0","journal-title":"Proceedings of 12th Annual Symposium on Theoretical Aspects of Computer Science Munich Germany March 1995 Lecture Notes in Computer Science"},{"article-title":"Conditions de vivacite? dans les automates temporise?s","year":"1998","author":"labroue","key":"11"},{"article-title":"An introduction to input\/output automata","year":"1998","author":"lynch","key":"12"},{"key":"3","first-page":"257","article-title":"On the power of non observable actions in timed automata","author":"be?rard","year":"1996","journal-title":"Proceedings of STACS'96 Number 1046 in Lecture Notes in Computer Science"},{"key":"2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-58179-0_39","article-title":"A determinizable class of timed automata","volume":"818","author":"alur","year":"1994","journal-title":"Proceedings of CAV'94 Lecture Notes in Computer Science"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"article-title":"An algorithm for submodule construction","year":"1996","author":"haghverdi","key":"10"},{"article-title":"Submodule construction for systems of I\/O automata","year":"1999","author":"drissi","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1996.563702"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/BF00709157"},{"key":"4","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/FI-1998-36233","article-title":"Characterization of the expressive power of silent transitions in timed automata","volume":"36","author":"be?rard","year":"1998","journal-title":"Fundamenta Informaticae"},{"key":"9","article-title":"Vers la construction automatique d'un module inconnu dans un syste?me compose?","volume":"2000","author":"drissi","year":"0"},{"key":"8","first-page":"319","article-title":"Submodule construction tool","volume":"1","author":"drissi","year":"1999","journal-title":"Proceeding of Computational Intelligence for Modelling Control and Automation (CIMCA'99)"}],"event":{"name":"IEEE Conference on Decision and Control","acronym":"CDC-02","location":"Las Vegas, NV, USA"},"container-title":["Proceedings of the 41st IEEE Conference on Decision and Control, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8437\/26566\/01184462.pdf?arnumber=1184462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T08:36:29Z","timestamp":1585125389000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1184462\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cdc.2002.1184462","relation":{},"subject":[]}}