{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:29:10Z","timestamp":1729646950118,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1109\/igcc.2016.7892611","type":"proceedings-article","created":{"date-parts":[[2017,4,6]],"date-time":"2017-04-06T23:56:23Z","timestamp":1491522983000},"page":"1-8","source":"Crossref","is-referenced-by-count":4,"title":["Models, metamodels, and model transformation for cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Nathan","family":"Jarus","sequence":"first","affiliation":[]},{"given":"Sahra Sedigh","family":"Sarvestani","sequence":"additional","affiliation":[]},{"given":"Ali R.","family":"Hurson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"ref10","article-title":"CHESS Project Website - CHESS"},{"year":"0","key":"ref11","article-title":"CONCERTO Project"},{"key":"ref12","first-page":"298","article-title":"A reusable modular toolchain for automated dependability evaluation","author":"montecchi","year":"2013","journal-title":"Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2015.36"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08311-7_6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-003-0039-5"},{"key":"ref16","first-page":"47","article-title":"Towards an object based multi-formalism multi-solution modeling approach","volume":"26","author":"franceschinis","year":"2002","journal-title":"Proceedings of the Second Workshop on Modelling of Objects Components and Agents Aarhus (MOCA02) Denmark"},{"key":"ref17","article-title":"Simthesyser: a tool generator for the performance evaluation of multiformalism models","author":"barbierato","year":"2012","journal-title":"tech rep Universití degli Studi di Napoli Belvedere Reale di San Leucio 81100 Caserta Italy"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.4108\/icst.valuetools.2011.245727"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2003.1194792"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2008.06.014"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2014.75"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038648"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530878"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953373"},{"key":"ref8","first-page":"174","article-title":"AToMA3: A tool for multi-formalism and meta-modelling","volume":"2","author":"de lara","year":"2002","journal-title":"FASE"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-319-10696-0_18","article-title":"Simulation debugging and visualization in the Möbius Modeling Framework","volume":"8657","author":"buchanan","year":"2014","journal-title":"Quantitative Evaluation of Systems (G Norman and W Sanders eds )"},{"key":"ref2","first-page":"683","article-title":"The design and application of structured types in Ptolemy II","volume":"2","author":"xiong","year":"2005"},{"key":"ref9","article-title":"Using meta-modelling and graph grammars to create modelling environments","volume":"72","author":"de lara","year":"2002","journal-title":"Electronic Notes in Theoretical Computer Science"},{"journal-title":"System Design Modeling and Simulation Using Ptolemy II","year":"2014","author":"ptolemaeus","key":"ref1"},{"key":"ref20","first-page":"27","article-title":"Using a lattice of coalgebras for heterogeneous model composition","author":"streb","year":"2006","journal-title":"MoDELS Workshop on Multi-Paradigm Modeling"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.23"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2011.34"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"ref23","first-page":"9","article-title":"An introduction to multi-paradigm modelling and simulation","author":"vangheluwe","year":"2002","journal-title":"Proceedings of the AIS'2002 conference (Al Simulation and Planning in High Autonomy Systems) Lisboa Portugal"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"article-title":"The Galois connection between syntax and semantics","year":"2010","author":"smith","key":"ref25"}],"event":{"name":"2016 Seventh International Green and Sustainable Computing Conference (IGSC)","start":{"date-parts":[[2016,11,7]]},"location":"Hangzhou, China","end":{"date-parts":[[2016,11,9]]}},"container-title":["2016 Seventh International Green and Sustainable Computing Conference (IGSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7888616\/7892581\/07892611.pdf?arnumber=7892611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T15:09:18Z","timestamp":1568992158000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7892611\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/igcc.2016.7892611","relation":{},"subject":[],"published":{"date-parts":[[2016]]}}}