{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T05:41:38Z","timestamp":1775194898666,"version":"3.50.1"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2012,5,1]],"date-time":"2012-05-01T00:00:00Z","timestamp":1335830400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/tii.2011.2174248","type":"journal-article","created":{"date-parts":[[2011,11,1]],"date-time":"2011-11-01T19:31:37Z","timestamp":1320175897000},"page":"302-310","source":"Crossref","is-referenced-by-count":80,"title":["Model-Based Validation of Industrial Control Systems"],"prefix":"10.1109","volume":"8","author":[{"given":"E.","family":"Estevez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Marcos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/4236.612222"},{"key":"ref11","first-page":"43","article-title":"CAEX&#x2014;A neutral data exchange format for engineering data","author":"fedai","year":"2005","journal-title":"ATP International Automation Technology 01\/2005"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MCG.2008.29"},{"key":"ref13","author":"el-khoury","year":"2006","journal-title":"A Model Management and Integration Platform for Mechatronic Product Development"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80532-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0455-0"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844427"},{"key":"ref17","year":"2005","journal-title":"IEC IEC\/TR 61499-3 Function BlocksPart 3 Tutorial Information"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2010.32014"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.843829"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1127-4"},{"key":"ref3","year":"2003","journal-title":"Programmable Controllers Part 3 Programming Languages"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/2.585163"},{"key":"ref5","article-title":"Model Driven Architecture (MDA)","author":"miller","year":"2001","journal-title":"Architecture Board ORMSC"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/2.963443"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/2.366147"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-010-3010-y"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2167341"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1049\/ic:19990423"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2040392"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2008.4618271"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2040393"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/52.469759","article-title":"Architectural blueprints&#x2014;The &#x201C;<formula formulatype=\"inline\"><tex Notation=\"TeX\">$4+1$<\/tex><\/formula>&#x201D; view model of software architecture","volume":"12","author":"kruchten","year":"1995","journal-title":"IEEE Software"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/6.755439"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2009.934794"},{"key":"ref25","first-page":"284","article-title":"Model-driven approach for designing industrial control systems","volume":"4758 2007","author":"estvez","year":"0","journal-title":"Lecture Notes on Computer Science"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9424\/6179486\/06065752.pdf?arnumber=6065752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:53:24Z","timestamp":1633910004000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6065752\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":27,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tii.2011.2174248","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5]]}}}