{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T16:33:36Z","timestamp":1774283616224,"version":"3.50.1"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/cpsdata.2016.7496424","type":"proceedings-article","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T11:38:56Z","timestamp":1466854736000},"page":"1-6","source":"Crossref","is-referenced-by-count":82,"title":["Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project"],"prefix":"10.1109","author":[{"given":"Peter Gorm","family":"Larsen","sequence":"first","affiliation":[]},{"given":"John","family":"Fitzgerald","sequence":"additional","affiliation":[]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Fritzson","sequence":"additional","affiliation":[]},{"given":"Jorg","family":"Brauer","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Kleijn","sequence":"additional","affiliation":[]},{"given":"Thierry","family":"Lecomte","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Pfeil","sequence":"additional","affiliation":[]},{"given":"Ole","family":"Green","sequence":"additional","affiliation":[]},{"given":"Stylianos","family":"Basagiannis","sequence":"additional","affiliation":[]},{"given":"Andrey","family":"Sadovykh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-6194-3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1668862.1668864"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_11"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2401736.2401745"},{"key":"ref14","article-title":"Modelling and Simulation of Fluid Power Systems with 20-sim","volume":"7","author":"kleijn","year":"2006","journal-title":"Int J Fluid Power"},{"key":"ref15","author":"fritzson","year":"2004","journal-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 2 1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54118-6"},{"key":"ref17","article-title":"A structural approach to operational semantics","author":"plotkin","year":"1981","journal-title":"University of Aarhus Tech Rep DAIMI FN-19"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref19","author":"hoare","year":"1998","journal-title":"Unifying Theories of Programming"},{"key":"ref4","first-page":"1","article-title":"Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems","author":"mosterman","year":"2015","journal-title":"Software & Systems Modeling"},{"key":"ref27","article-title":"Road Vehicles - Functional Safety - Part 6: Product development at the software level","year":"2011","journal-title":"International Organization for Standardization Tech Rep"},{"key":"ref3","first-page":"31","article-title":"INTO-CPS: An integrated “tool chain” for comprehensive model-based design of cyber-physical systems","author":"bagnato","year":"2015","journal-title":"Revue Génie Logiciel"},{"key":"ref6","article-title":"Embedded \/ cyber-physical systems artemis major challenges: 2014–2020, 2013 draft addendum to the artemis-sra 2011","author":"gide","year":"2013","journal-title":"Tech Rep"},{"key":"ref5","article-title":"Cyber-Physical European Roadmap and Strategy: Research Agenda and Recommendations for Action","author":"sch\u00e4tz","year":"2015","journal-title":"CyPhERS Tech Rep"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2013.12"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3384\/ecp12076173"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2015.14"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.111.1"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34404-6_1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000242"},{"key":"ref22","volume":"16","author":"deb","year":"2001","journal-title":"Multi-Objective Optimization Using Evolutionary Algorithms"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.13052\/rp-99788793237155"},{"key":"ref24","author":"m\u00e4der","year":"2010","journal-title":"Rule-based Maintenance of Post-requirements Traceability ser MV Wissenschaft"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/290133.290145"},{"key":"ref26","article-title":"Energy Performance of Buildings - Impact of Building Automation, Controls and Building Management","year":"2012","journal-title":"Technical Report the European Standard"},{"key":"ref25","article-title":"Collaborative Model-based Systems Engineering for Cyber-Physical Systems - a Case Study in Building Automation","author":"fitzgerald","year":"2016","journal-title":"INCOSE 2016"}],"event":{"name":"2016 2nd International\u00a0Workshop\u00a0on Modelling, Analysis, and Control of Complex\u00a0CPS\u00a0(CPS\u00a0Data)","location":"Vienna, Austria","start":{"date-parts":[[2016,4,11]]},"end":{"date-parts":[[2016,4,11]]}},"container-title":["2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7492446\/7496415\/07496424.pdf?arnumber=7496424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,28]],"date-time":"2016-09-28T19:42:07Z","timestamp":1475091727000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7496424\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/cpsdata.2016.7496424","relation":{},"subject":[],"published":{"date-parts":[[2016,4]]}}}