{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:59:14Z","timestamp":1761487154047,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wsc.2003.1261512","type":"proceedings-article","created":{"date-parts":[[2004,5,6]],"date-time":"2004-05-06T16:18:03Z","timestamp":1083860283000},"page":"923-931","source":"Crossref","is-referenced-by-count":8,"title":["From timed automata to DEVS models"],"prefix":"10.1109","author":[{"given":"N.","family":"Giambiasi","sequence":"first","affiliation":[]},{"given":"J.-L.","family":"Paillet","sequence":"additional","affiliation":[]},{"given":"F.","family":"Chane","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58201-0_66"},{"key":"ref11","first-page":"29","article-title":"HyTech. The Comell HYbrid TECHnology Tool","volume":"ns 95 2","author":"henzinger","year":"1995","journal-title":"Proceedings of the Workshop on Tools and Algorithms for the Construetion and Analysis of Systems"},{"article-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00134-6"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/3-540-61648-9_38","article-title":"Minimizable timed automata","volume":"1135","author":"springintveld","year":"1996","journal-title":"Proceedings of the Fourth International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT96)"},{"article-title":"Theory of Modeling and Simulation","year":"1976","author":"zeigler","key":"ref15"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/5.21071","article-title":"DEVS Representation of Dynamical system","volume":"77","author":"zeigler","year":"1989","journal-title":"Proc of the IEEE"},{"journal-title":"Theory of Modeling and Simulation Integrating Discrete Event and Continuous Complex Dynamic Systems","year":"2000","author":"zeigler","key":"ref17"},{"key":"ref4","first-page":"205","article-title":"A timed full LOTOS with time\/action tree semantics","author":"bolognesi","year":"1994","journal-title":"Theories and Experiences for Real Time System Development Amast Series in Computing World Scientific"},{"key":"ref3","first-page":"232","article-title":"UPPAAL: a tool suite for the automatic verification of real … time systems","author":"bengtsson","year":"1996"},{"article-title":"Specification and Design of Embedded Systems","year":"1994","author":"gajski","key":"ref6"},{"key":"ref5","first-page":"208","author":"daws","year":"1996","journal-title":"The Tool Kronos"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/101.795090"},{"key":"ref7","article-title":"A preemptive sched … uling mechanism for occurate behavioral simulation of digital designs","volume":"38","author":"ghosch","year":"1989","journal-title":"IEEE Trans on Computers"},{"key":"ref2","first-page":"220","author":"aiur","year":"1996","journal-title":"Timing Analysis in COSPAN"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref9","first-page":"120","article-title":"GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems H","volume":"17","author":"giambiasi","year":"2000","journal-title":"Transactions of the SCS"}],"event":{"name":"2003 Winter Simulation Conference","acronym":"WSC-03","location":"New Orleans, LA, USA"},"container-title":["Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8912\/28195\/01261512.pdf?arnumber=1261512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T02:52:30Z","timestamp":1497581550000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1261512\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/wsc.2003.1261512","relation":{},"subject":[]}}