{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T21:09:41Z","timestamp":1773695381515,"version":"3.50.1"},"reference-count":52,"publisher":"IEEE","license":[{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/sysose.2018.8428770","type":"proceedings-article","created":{"date-parts":[[2018,8,9]],"date-time":"2018-08-09T18:13:33Z","timestamp":1533838413000},"page":"225-232","source":"Crossref","is-referenced-by-count":7,"title":["Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool Support"],"prefix":"10.1109","author":[{"given":"Freek","family":"van den Berg","sequence":"first","affiliation":[{"name":"University of Twente, Enschede, The Netherlands"}]},{"given":"Vahid","family":"Garousi","sequence":"additional","affiliation":[{"name":"Wageningen University, Wageningen, The Netherlands"}]},{"given":"Bedir","family":"Tekinerdogan","sequence":"additional","affiliation":[{"name":"Wageningen University, Wageningen, The Netherlands"}]},{"given":"Boudewijn R.","family":"Haverkort","sequence":"additional","affiliation":[{"name":"University of Twente, Enschede, The Netherlands"}]}],"member":"263","reference":[{"key":"ref39","first-page":"168","article-title":"The levels of conceptual interoperability model: applying systems engineering principles to m&s","author":"wang","year":"2009","journal-title":"Proceedings of the 2009 Spring Simulation Multiconference Society for Computer Simulation International"},{"key":"ref38","first-page":"569","article-title":"The athena interoperability framework","author":"a -j","year":"2007","journal-title":"IESA"},{"key":"ref33","article-title":"1037c,” Department of Defense Dictionary of Military and Associated Terms in support of MIL-STD","volume":"188","author":"standard","year":"1996"},{"key":"ref32","article-title":"Factories of the future: challenges and leading innovations in intelligent manufacturing","author":"jardim-goncalves","year":"2017"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.mfglet.2014.12.001"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref37","article-title":"General interoperability concepts","author":"searle","year":"2006","journal-title":"Tech Rep"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSI.1990.138657"},{"key":"ref35","year":"0","journal-title":"International System for Agricultural Science and Technology"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1057\/ejis.2013.8"},{"key":"ref28","article-title":"Cyber-physical systems-are computing foundations adequate","volume":"2","author":"lee","year":"2006","journal-title":"Position Paper for NSF Workshop On Cyber-Physical Systems Research Motivation Techniques and Roadmap"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2322503"},{"key":"ref2","first-page":"1","volume":"4085","author":"henzinger","year":"2006","journal-title":"The Embedded Systems Design Challenge"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1201\/9781420011746"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"ref22","first-page":"265","author":"henzinger","year":"2000","journal-title":"The theory of hybrid automata"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2006.1652284"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2022094"},{"key":"ref23","article-title":"Interoperability: What is it and why should i want it?","author":"miller","year":"2000","journal-title":"ARIADNE"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/384264.379006"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747936"},{"key":"ref50","author":"gronback","year":"2009","journal-title":"Eclipse Modeling Project A Domain-Specific Language (DSL) Toolkit"},{"key":"ref51","year":"0"},{"key":"ref52","year":"0"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40725-3_21"},{"key":"ref11","first-page":"80","article-title":"A Domain Specific Language for Performance Evaluation of Medical Imaging Systems","volume":"48","author":"van den berg","year":"2014","journal-title":"Medical Cyber-physical Systems Workshop"},{"key":"ref40","first-page":"759","article-title":"Industrial iot gateway with machine learuing for smart manufacturing","author":"lojka","year":"2016","journal-title":"IFIP International Conference on Advances in Production Management Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23267-6_15"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68270-9_11"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31759-0_16"},{"key":"ref15","first-page":"158","article-title":"Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques","author":"van den berg","year":"2015","journal-title":"Proceedings of the gth EAI International Conference on Peiformance Evaluation Methodologies and Tools ser VALUETOOLS’I5 !CST"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23267-6_14"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45848-4_57"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/jae.885"},{"key":"ref19","article-title":"Cyber-physical systems-are computing foundations adequate","volume":"2","author":"lee","year":"2006","journal-title":"Position Paper for NSF Workshop On Cyber-Physical Systems Research Motivation Techniques and Roadmap"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2013.49"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.118"},{"key":"ref6","year":"0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1063\/1.2914691"},{"key":"ref8","first-page":"182","article-title":"Early fault detection in dsls using SMT solving and automated debugging","author":"keshishzadeh","year":"2013","journal-title":"Software Engineering and Formal Methods - 11th International Conference SEFM 2013"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2013.83"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2188286.2188319"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40561-7_13"},{"key":"ref46","first-page":"1648","article-title":"Modelicaa cyber-physical modeling language and the openmodelica environment","author":"fritzson","year":"2011","journal-title":"Wireless Communications and Mobile Computing Conference (IWCMC) 2011 7th International IEEE"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02812-5_2"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.01.031"},{"key":"ref47","article-title":"Automated Performance Evaluation of ServiceOriented Systems","author":"van den berg","year":"2017"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2017.03.009"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.compag.2014.12.009"},{"key":"ref44","article-title":"From abstract modelling to remote cyber-physical integration\/interoperability testing","author":"spichkova","year":"2014","journal-title":"arXiv preprint arXiv 1403 1005"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2016.7745038"}],"event":{"name":"2018 13th Annual Conference on System of Systems Engineering (SoSE)","location":"Paris, France","start":{"date-parts":[[2018,6,19]]},"end":{"date-parts":[[2018,6,22]]}},"container-title":["2018 13th Annual Conference on System of Systems Engineering (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8410820\/8428694\/08428770.pdf?arnumber=8428770","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T20:13:18Z","timestamp":1773691998000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8428770\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/sysose.2018.8428770","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}