{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:45:58Z","timestamp":1761648358575,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/cpps.2016.7483922","type":"proceedings-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T13:06:25Z","timestamp":1464872785000},"page":"1-8","source":"Crossref","is-referenced-by-count":13,"title":["Ontological reasoning for consistency in the design of cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Ken","family":"Vanherpen","sequence":"first","affiliation":[]},{"given":"Joachim","family":"Denil","sequence":"additional","affiliation":[]},{"given":"Istvan","family":"David","sequence":"additional","affiliation":[]},{"given":"Paul","family":"De Meulenaere","sequence":"additional","affiliation":[]},{"given":"Pieter J.","family":"Mosterman","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Torngren","sequence":"additional","affiliation":[]},{"given":"Ahsan","family":"Qamar","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Model-Based Design of a Power Window System: Modeling, Simulation, and Validation","author":"prabhu","year":"2004","journal-title":"Society for Experimental Machines IMAC Conference"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0017-9"},{"key":"ref12","first-page":"77","article-title":"Integrating Language and Ontology Engineering","volume":"1237","author":"barroca","year":"2014","journal-title":"MPM '14 ser CEUR"},{"key":"ref13","first-page":"83","article-title":"Multi-Level Modelling in the Modelverse","author":"van mierlo","year":"2014","journal-title":"MULTI '14"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2004.02.005"},{"key":"ref15","first-page":"1","article-title":"An introduction to modeling and analyzing complex product development processes using the design structure matrix (DSM) method","volume":"51","author":"yassine","year":"2004","journal-title":"Urbana"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/AIM.2001.936783"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2010-28615"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2014.01.140"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/978-3-319-13704-9_19","article-title":"Automating Cross-Disciplinary Defect Detection in Multidisciplinary Engineering Environments","author":"kovalenko","year":"2014","journal-title":"Knowledge Engineering and Knowledge Management"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2011-47924"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2003.1200240"},{"key":"ref27","first-page":"31:1","article-title":"Consistency Between Geometric and Dynamic Views of a Mechanical System","author":"adourian","year":"2007","journal-title":"SCSC '07 SCS"},{"year":"2011","key":"ref3","article-title":"ISO\/IEC\/IEEE 42010 International Standard: Systems and Software Engineering: Architecture Description"},{"key":"ref6","first-page":"820","article-title":"Model Transformations for Round-trip Engineering in Control Deployment Co-Design","author":"vanherpen","year":"2015","journal-title":"TMS\/DEVS '15 SCS"},{"key":"ref5","article-title":"TrueTime: Real-time Control System Simulation with MATLAB \/ Simulink","author":"henriksson","year":"2003","journal-title":"Proceedings of the Nordic MATLAB Conference"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502540"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2013.11.013"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658588"},{"key":"ref22","first-page":"1","article-title":"Managing dependencies in mechatronic design: a case study on dependency management between mechanical design and system design","author":"qamar","year":"2014","journal-title":"Engineering With Computers"},{"article-title":"Inconsistency Management in Model-Driven Engineering: An Approach Using Description Logics","year":"2005","author":"van der straeten","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.17"},{"key":"ref23","article-title":"Towards Inconsistency Management by Process-Oriented Dependency Modeling","author":"d\u00e1vid","year":"2015","journal-title":"MPM'15 CEUR"},{"key":"ref26","article-title":"Multi-Domain Modeling of Cyber-Physical Systems using Architectural Views","author":"bhave","year":"2010","journal-title":"AVICPS '10"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17322-6_25"}],"event":{"name":"2016 1st International Workshop on Cyber-Physical Production Systems (CPPS)","start":{"date-parts":[[2016,4,12]]},"location":"Vienna","end":{"date-parts":[[2016,4,12]]}},"container-title":["2016 1st International Workshop on Cyber-Physical Production Systems (CPPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7480713\/7483913\/07483922.pdf?arnumber=7483922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,3]],"date-time":"2020-02-03T04:54:16Z","timestamp":1580705656000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7483922\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/cpps.2016.7483922","relation":{},"subject":[],"published":{"date-parts":[[2016,4]]}}}