{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T02:58:34Z","timestamp":1776740314002,"version":"3.51.2"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"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":[[2012,9]]},"DOI":"10.1109\/etfa.2012.6489740","type":"proceedings-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T16:57:59Z","timestamp":1365181079000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["A methodological support for designing industrial control systems"],"prefix":"10.1109","author":[{"given":"M. L.","family":"Alvarez","sequence":"first","affiliation":[{"name":"EUITI Bilbao, UPV\/EHU, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Saracnaga","sequence":"additional","affiliation":[{"name":"ETSI Bilbao, UPV\/bHU, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Burgos","sequence":"additional","affiliation":[{"name":"EUITI Bilbao, UPV\/EHU, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Est\u00e9vez","sequence":"additional","affiliation":[{"name":"Dept. of Electronics and Automatic Engineering EPS Jaén, UJA, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Marcos","sequence":"additional","affiliation":[{"name":"ETSI Bilbao, UPV\/bHU, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1127-4"},{"key":"17","first-page":"1253","article-title":"Model-driven design of industrial control systems","author":"este?vez","year":"2008","journal-title":"Proc of IEEE Multi- Confererence on Systems and Control 9th IEEE International Symposium on Computer-Aided Control System Design (CACSD)"},{"key":"18","article-title":"Using web services to support the design phase of manufacturing applications","author":"sarachaga","year":"2009","journal-title":"42nd CIRP Conference on Manufacturing Systems Grenoble (Francia)"},{"key":"15","year":"2007","journal-title":"Beremiz Website Last Access on June 2012"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.01.063"},{"key":"13","year":"2005","journal-title":"IEC-compliant Engineering Support System"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0455-0"},{"key":"11","first-page":"408","article-title":"A systematized approach to obtain dependable controllers specifications","volume":"4","author":"machado","year":"2010","journal-title":"ABCM Symposium Series in Mechatronics"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583518"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638461"},{"key":"2","article-title":"Iec international standard iec 61131-3: Programmable controllers, part 3: Programming languages","year":"2003","journal-title":"International Electrotechnical Commission"},{"key":"1","year":"1992","journal-title":"PLCopen Web Site Last Access in June of 2012"},{"key":"10","article-title":"Automatizacio?n de procesos mediante la gui?a gemma","author":"ponsa","year":"2005","journal-title":"Edicions UPC"},{"key":"7","year":"1981","journal-title":"GEMMA (Guide d'E?tude des Modes de Marches et d'Arre?ts)"},{"key":"6","author":"booch","year":"2005","journal-title":"The Unified Modeling Language User Guide"},{"key":"5","article-title":"Operation modes handling in distributed automation systems","author":"panjaitan","year":"1007","journal-title":"1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07) Cachan (France)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302535"},{"key":"8","year":"1977","journal-title":"Normalisation de la Repre?sentation du Cahier des Charges d'Un Automatisme Logique"}],"event":{"name":"2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)","location":"Krakow, Poland","start":{"date-parts":[[2012,9,17]]},"end":{"date-parts":[[2012,9,21]]}},"container-title":["Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6479732\/6489522\/06489740.pdf?arnumber=6489740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T20:18:36Z","timestamp":1756153116000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6489740\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/etfa.2012.6489740","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}