{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T18:54:48Z","timestamp":1770836088931,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,14]],"date-time":"2014-04-14T00:00:00Z","timestamp":1397433600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-1035655"],"award-info":[{"award-number":["CNS-1035655"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004895","name":"European Social Fund","doi-asserted-by":"publisher","award":["TAMOP-4.2.2.C-11\/1\/KONV-2012-0013"],"award-info":[{"award-number":["TAMOP-4.2.2.C-11\/1\/KONV-2012-0013"]}],"id":[{"id":"10.13039\/501100004895","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,14]]},"DOI":"10.1145\/2593458.2593463","type":"proceedings-article","created":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T12:24:23Z","timestamp":1396959863000},"page":"56-61","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Towards a theory for cyber-physical systems modeling"],"prefix":"10.1145","author":[{"given":"Gabor","family":"Simko","sequence":"first","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tihamer","family":"Levendovszky","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miklos","family":"Maroti","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,4,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.703887"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.009"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.26"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_39"},{"key":"e_1_3_2_1_7_1","first-page":"303","volume-title":"International Modelica Conference","author":"Broman D.","year":"2006","unstructured":"D. Broman , P. Fritzson , and S. Furic . Types in the modelica language . In International Modelica Conference , pages 303 -- 315 , 2006 . D. Broman, P. Fritzson, and S. Furic. Types in the modelica language. In International Modelica Conference, pages 303--315, 2006."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27694-1_19"},{"key":"e_1_3_2_1_9_1","volume-title":"International Modelica Conference","author":"Cellier F. E.","year":"2005","unstructured":"F. E. Cellier and \u00c0. Nebot. The modelica bond graph library . In International Modelica Conference , 2005 . F. E. Cellier and \u00c0. Nebot. The modelica bond graph library. In International Modelica Conference, 2005."},{"key":"e_1_3_2_1_10_1","volume-title":"Modelica---A unified object-oriented language for system modeling and simulation. ECOOP, page 67--90","author":"Fritzson P.","year":"1998","unstructured":"P. Fritzson and V. Engelson . Modelica---A unified object-oriented language for system modeling and simulation. ECOOP, page 67--90 , 1998 . P. Fritzson and V. Engelson. Modelica---A unified object-oriented language for system modeling and simulation. ECOOP, page 67--90, 1998."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72588-6_33"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2008.06.014"},{"key":"e_1_3_2_1_13_1","first-page":"299","volume-title":"SCSC","author":"K\u00e5gedal D.","year":"1998","unstructured":"D. K\u00e5gedal and P. Fritzson . Generating a modelica compiler from natural semantics specifications . In SCSC , pages 299 -- 307 , 1998 . D. K\u00e5gedal and P. Fritzson. Generating a modelica compiler from natural semantics specifications. In SCSC, pages 299--307, 1998."},{"key":"e_1_3_2_1_14_1","volume-title":"System dynamics: modeling and simulation of mechatronic systems","author":"Karnopp D.","year":"1997","unstructured":"D. Karnopp , D. Margolis , and R. Rosenberg . System dynamics: modeling and simulation of mechatronic systems . Wiley , New York , 1997 . D. Karnopp, D. Margolis, and R. Rosenberg. System dynamics: modeling and simulation of mechatronic systems. Wiley, New York, 1997."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BFb0032003","volume-title":"Real-Time: Theory in Practice","author":"Maler O.","year":"1992","unstructured":"O. Maler , Z. Manna , and A. Pnueli . From timed to hybrid systems . In Real-Time: Theory in Practice , pages 447 -- 484 . Springer , 1992 . O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, pages 447--484. Springer, 1992."},{"key":"e_1_3_2_1_18_1","unstructured":"MathWorks. Simscape Nov. 2012.  MathWorks. Simscape Nov. 2012."},{"key":"e_1_3_2_1_19_1","volume-title":"International Modelica Conference","author":"Mauss J.","year":"2005","unstructured":"J. Mauss . Modelica instance creation . In International Modelica Conference , 2005 . J. Mauss. Modelica instance creation. In International Modelica Conference, 2005."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0016-0032(96)00126-3"},{"key":"e_1_3_2_1_21_1","first-page":"37","volume-title":"Multi-Paradigm Modeling","author":"Mosterman P. J.","year":"2013","unstructured":"P. J. Mosterman , G. Simko , and J. Zander . A hyperdense semantic domain for discontinuous behavior in physical system models . In Multi-Paradigm Modeling , pages 37 -- 46 , 2013 . P. J. Mosterman, G. Simko, and J. Zander. A hyperdense semantic domain for discontinuous behavior in physical system models. In Multi-Paradigm Modeling, pages 37--46, 2013."},{"key":"e_1_3_2_1_22_1","first-page":"71","volume-title":"EOOLT","author":"Nilsson H.","year":"2008","unstructured":"H. Nilsson . Type-based structural analysis for modular systems of equations . In EOOLT , pages 71 -- 81 , 2008 . H. Nilsson. Type-based structural analysis for modular systems of equations. In EOOLT, pages 71--81, 2008."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/645773.668092"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2007.906923"}],"event":{"name":"CPS Week '14: Cyber Physical Systems Week 2014","location":"Berlin Germany","acronym":"CPS Week '14","sponsor":["IEEE Signal Processing Society","ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","IEEE CS"]},"container-title":["Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593458.2593463","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593458.2593463","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:22Z","timestamp":1750234222000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593458.2593463"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,14]]},"references-count":24,"alternative-id":["10.1145\/2593458.2593463","10.1145\/2593458"],"URL":"https:\/\/doi.org\/10.1145\/2593458.2593463","relation":{},"subject":[],"published":{"date-parts":[[2014,4,14]]},"assertion":[{"value":"2014-04-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}