{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T12:07:10Z","timestamp":1774440430679,"version":"3.50.1"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"University of the Basque Country (UPV\/EHU)","award":["UFI 11\/28"],"award-info":[{"award-number":["UFI 11\/28"]}]},{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad and the Fondo Europeo de Desarrollo Regional","doi-asserted-by":"publisher","award":["DPI2015-68602-R"],"award-info":[{"award-number":["DPI2015-68602-R"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1109\/tase.2016.2574644","type":"journal-article","created":{"date-parts":[[2016,6,22]],"date-time":"2016-06-22T16:10:47Z","timestamp":1466611847000},"page":"67-79","source":"Crossref","is-referenced-by-count":36,"title":["A Methodological Approach to Model-Driven Design and Development of Automation Systems"],"prefix":"10.1109","volume":"15","author":[{"given":"Maria Luz","family":"Alvarez","sequence":"first","affiliation":[]},{"given":"Isabel","family":"Sarachaga","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7507-6892","authenticated-orcid":false,"given":"Arantzazu","family":"Burgos","sequence":"additional","affiliation":[]},{"given":"Elisabet","family":"Estevez","sequence":"additional","affiliation":[]},{"given":"Marga","family":"Marcos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","article-title":"Using Web services to support the design phase of manufacturing applications","author":"sarachaga","year":"2009","journal-title":"Proc 42nd CIRP Conf Manuf Syst"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"1077","DOI":"10.1007\/s00170-010-3010-y","article-title":"Automatic transformation of logic models within engineering of embedded mechatronical units","volume":"54","author":"l\u00fcder","year":"2010","journal-title":"Int J Adv Manuf Technol"},{"key":"ref33","first-page":"408","article-title":"A systematized approach to obtain dependable controllers specifications","volume":"4","author":"machado","year":"2010","journal-title":"Proc ABCM Symp Series Mechatronics"},{"key":"ref32","first-page":"5153","article-title":"MLAV: The object-oriented methodology of the virtual automation lab","author":"gon?alez","year":"2004","journal-title":"Proc IEEE Int Conf Robot Autom"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.3182\/20060621-3-ES-2905.00050"},{"key":"ref30","year":"1981","journal-title":"ADEPA (Agence nationale pour le D&#x00C9;veloppement de la Productique Appliqu&#x00E9;e &#x00E0; l&#x2019;industrie) GEMMA (Guide d&#x2019;&#x00C9;tude des Modes de Marches et d&#x2019;Arr&#x00EA;ts)"},{"key":"ref37","year":"2008","journal-title":"XML Schemes and Documentation"},{"key":"ref36","author":"jacobson","year":"1992","journal-title":"Object Oriented Software Engineering A Use Case Driven Approach"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-013-4793-4"},{"key":"ref34","year":"2002","journal-title":"Grafcet specification language for sequential function charts"},{"key":"ref28","article-title":"AFCET (Association Tran&#x00E7;aise pour la Cybern&#x00E9;tique &#x00C9;conomique et Technique) Commission. Normalisation de la repr&#x00E9;sentation du cahier des charges d&#x2019;un automatisme logique","year":"1977"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2014.05.002"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.3182\/20070613-3-FR-4909.00021"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2226578"},{"key":"ref1","year":"2010","journal-title":"Factories of the Future PPP Strategic Multi-Annual Roadmap Adhoc Industrial Advisory Group of the Factories of the Future"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2011.44024"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.12.028"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2013.12.004"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059113"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2014.711084"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.riai.2013.03.010"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2009.10.001"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"ref51","year":"2003","journal-title":"Eclipse IDE"},{"key":"ref55","first-page":"1254","article-title":"Training proposal based on MeiA to face automation challenges","volume":"30","author":"burgos","year":"2014","journal-title":"Int J Eng Edu"},{"key":"ref54","article-title":"How to create and use rubrics for formative assessment and grading","author":"brookhart","year":"2013","journal-title":"ASCD (Asociaci&#x00F3;n para la Supervisi&#x00F3;n y Desarrollo Curricular)"},{"key":"ref53","year":"2007","journal-title":"Xsl Transformations (Xslt) Version 2 0"},{"key":"ref52","year":"2004","journal-title":"XML Schema Part 0 Primer Second Edition"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2014.75041"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"ref40","year":"2011","journal-title":"The Unified Modeling Language Version 1 4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2006.02.006"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0455-0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384751"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638526"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641224"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.01.063"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2014.05.003"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2007.4433695"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2013.6622945"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034944"},{"key":"ref6","year":"2004","journal-title":"SWEBOK Guide to the Software Engineering Body of Knowledge"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2258165"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.08.026"},{"key":"ref7","first-page":"572","article-title":"System requirements in industrial automation&#x2014;A review of modeling methodologies for control software architectures","author":"insaurralde","year":"2013","journal-title":"Proc IEEE Int Conf Ind Informat (INDIN)"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2014.09.008"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2286208"},{"key":"ref46","first-page":"41","article-title":"Contribution to the Grafcet formalisation a proposal for a static meta-model","author":"couffin","year":"1999","journal-title":"in Proc Simp&#x00F3;sio Brasileiro de Automao Inteligente"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0333-9"},{"key":"ref48","year":"2010","journal-title":"Part 4&#x2014;AutomationML logic description"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648109"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2009.8.3.a2"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2009.8.7.a2"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1953355.1953375"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS-EERC.2009.26"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/8246664\/07496983.pdf?arnumber=7496983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:41:47Z","timestamp":1641987707000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7496983\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":55,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tase.2016.2574644","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1]]}}}