{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:43Z","timestamp":1750307383007,"version":"3.41.0"},"publisher-location":"San Diego, CA, USA","reference-count":23,"publisher":"Society for Computer Simulation International","license":[{"start":{"date-parts":[[2010,4,11]],"date-time":"2010-04-11T00:00:00Z","timestamp":1270944000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,4,11]]},"DOI":"10.1145\/1878537.1878686","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Rational time-advance DEVS (RTA-DEVS)"],"prefix":"10.1145","author":[{"given":"Hesham","family":"Saadawi","sequence":"first","affiliation":[{"name":"Carleton University, Ottawa, ON, Canada"}]},{"given":"Gabriel","family":"Wainer","sequence":"additional","affiliation":[{"name":"Carleton University, Ottawa, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2010,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_1"},{"key":"e_1_3_2_1_4_1","volume-title":"Theory of modeling and simulation","author":"Zeigler BP","year":"2000","unstructured":"BP Zeigler , H. Praehofer , T. G. Kim ( 2000 ) Theory of modeling and simulation , 2 nd edn. Academic Press , New York . BP Zeigler, H. Praehofer, T. G. Kim (2000) Theory of modeling and simulation, 2nd edn. Academic Press, New York.","edition":"2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008262409521"},{"key":"e_1_3_2_1_6_1","first-page":"601","volume-title":"IMCSIT","author":"Furfaro A.","year":"2008","unstructured":"A. Furfaro , L. Nigro , \" Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL\", Computer Science and Information Technology, 20--22 Oct. 2008 , IMCSIT 2008 , p. 601 -- 608 . A. Furfaro, L. Nigro, \"Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL\", Computer Science and Information Technology, 20--22 Oct. 2008, IMCSIT 2008, p. 601--608."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0085-4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549705052229"},{"issue":"3","key":"e_1_3_2_1_9_1","article-title":"Reachability Graph of Finite and Deterministic DEVS Networks","volume":"6","author":"Hwang M. H.","year":"2009","unstructured":"M. H. Hwang , B. P. Zeigler , \" Reachability Graph of Finite and Deterministic DEVS Networks \", IEEE Transactions On Automation Science And Engineering , 6 ( 3 ), July 2009 . M. H. Hwang, B. P. Zeigler, \"Reachability Graph of Finite and Deterministic DEVS Networks\", IEEE Transactions On Automation Science And Engineering, 6 (3), July 2009.","journal-title":"IEEE Transactions On Automation Science And Engineering"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72584-8_162"},{"volume-title":"Proceedings of the 2003 Winter Simulation Conference,.","author":"Giambiasi N.","key":"e_1_3_2_1_11_1","unstructured":"N. Giambiasi , J-L. Paillet , F. Ch\u00e2ne , \" From Timed Automata To DEVS Models\". Proceedings of the 2003 Winter Simulation Conference,. N. Giambiasi, J-L. Paillet, F. Ch\u00e2ne, \"From Timed Automata To DEVS Models\". Proceedings of the 2003 Winter Simulation Conference,."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of Argentine Symposium on Software Engineering","author":"Hernandez A.","year":"2005","unstructured":"A. Hernandez , N. Giambiasi , \" State Reachability for DEVS Models\" , Proc. of Argentine Symposium on Software Engineering ( 2005 ),. A. Hernandez, N. Giambiasi, \"State Reachability for DEVS Models\", Proc. of Argentine Symposium on Software Engineering (2005),."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of Summer Computer Simulation Conference.","author":"Dacharry H.","year":"2007","unstructured":"H. Dacharry , N. Giambiasi . \" Formal Verification Approaches for DEVS\". Proceedings of Summer Computer Simulation Conference. 2007 . H. Dacharry, N. Giambiasi. \"Formal Verification Approaches for DEVS\". Proceedings of Summer Computer Simulation Conference. 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30583-5_30"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 1st Open International Conference on Modeling & Simulation. Clermont-Ferrand, France.","author":"Labiche Y.","year":"2005","unstructured":"Y. Labiche , G. Wainer . \" Towards the Verification and Validation of DEVS Models\". Proceedings of the 1st Open International Conference on Modeling & Simulation. Clermont-Ferrand, France. 2005 . Y. Labiche, G. Wainer. \"Towards the Verification and Validation of DEVS Models\". Proceedings of the 1st Open International Conference on Modeling & Simulation. Clermont-Ferrand, France. 2005."},{"key":"e_1_3_2_1_16_1","volume-title":"LNCS","author":"Miller J.","year":"2000","unstructured":"J. Miller . \" Decidability and complexity results for timed automata and semi-linear hybrid automata\" , Hybrid Systems: Computation and Control , LNCS Vol. 1790 , 2000 . J. Miller. \"Decidability and complexity results for timed automata and semi-linear hybrid automata\", Hybrid Systems: Computation and Control, LNCS Vol. 1790, 2000."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511814105","volume-title":"Modelling, Specification and Verification","author":"Aceto L.","year":"2007","unstructured":"L. Aceto , A. Ing\u00f3lfsd\u00f3ttir , K. Guldstrand Larsen , J. Srba . \" Reactive Systems : Modelling, Specification and Verification \". Cambridge University Press 2007 . L. Aceto, A. Ing\u00f3lfsd\u00f3ttir, K. Guldstrand Larsen, J. Srba. \"Reactive Systems: Modelling, Specification and Verification\". Cambridge University Press 2007."},{"key":"e_1_3_2_1_18_1","unstructured":"Wikipedia. DEVS behavior. http:\/\/en.wikipedia.org\/wiki\/Behavior_of_Coupled_DEVS {Accessed: Aug. 2009}.  Wikipedia. DEVS behavior. http:\/\/en.wikipedia.org\/wiki\/Behavior_of_Coupled_DEVS {Accessed: Aug. 2009}."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"e_1_3_2_1_20_1","unstructured":"H. Saadawi G. Wainer. \"Verification of Real-Time DEVS Models\" SpringSim'09 San Diego CA March 2009.   H. Saadawi G. Wainer. \"Verification of Real-Time DEVS Models\" SpringSim'09 San Diego CA March 2009."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of MGA, Advanced Simulation Technologies Conference","author":"Christen G.","year":"2004","unstructured":"G. Christen , A. Dobniewski , G. Wainer . \" Modeling State-Based DEVS Models in CD++ \". Proceedings of MGA, Advanced Simulation Technologies Conference . Arlington, VA. U.S.A. 2004 . G. Christen, A. Dobniewski, G. Wainer. \"Modeling State-Based DEVS Models in CD++ \". Proceedings of MGA, Advanced Simulation Technologies Conference. Arlington, VA. U.S.A. 2004."},{"issue":"2","key":"e_1_3_2_1_22_1","first-page":"3","article-title":"Characterization of the expressive power of silent transitions in timed automata","volume":"36","author":"B\u00e9rard B.","year":"1998","unstructured":"B. B\u00e9rard , V. Diekert , P. Gastin , A. Petit . \" Characterization of the expressive power of silent transitions in timed automata \", Fundamenta Informaticae , vol. 36 , num. 2 -- 3 , p. 145--182, 1998 . B. B\u00e9rard, V. Diekert, P. Gastin, A. Petit. \"Characterization of the expressive power of silent transitions in timed automata\", Fundamenta Informaticae, vol. 36, num. 2--3, p. 145--182, 1998.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1375928.1375929"}],"event":{"name":"SpringSim '10: 2010 Spring Simulation Conference","sponsor":["SCS Society for Modeling and Simulation International","SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Orlando Florida","acronym":"SpringSim '10"},"container-title":["Proceedings of the 2010 Spring Simulation Multiconference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1878537.1878686","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1878537.1878686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:23:21Z","timestamp":1750245801000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1878537.1878686"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,11]]},"references-count":23,"alternative-id":["10.1145\/1878537.1878686","10.5555\/1878537"],"URL":"https:\/\/doi.org\/10.1145\/1878537.1878686","relation":{},"subject":[],"published":{"date-parts":[[2010,4,11]]},"assertion":[{"value":"2010-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}