{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T01:29:43Z","timestamp":1772501383611,"version":"3.50.1"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/etfa.2018.8502451","type":"proceedings-article","created":{"date-parts":[[2018,11,16]],"date-time":"2018-11-16T03:20:08Z","timestamp":1542338408000},"page":"1179-1182","source":"Crossref","is-referenced-by-count":7,"title":["Synthesis of Controllers from Finite State Stack Machine Diagrams"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Rivas","sequence":"first","affiliation":[]},{"given":"Pragna","family":"Das","sequence":"additional","affiliation":[]},{"given":"Joaquin","family":"Saiz-Alcaine","sequence":"additional","affiliation":[]},{"given":"Lluis","family":"Ribas-Xirgo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"1","article-title":"A model transformation approach for code generation from State Machine Diagram","volume":"9","author":"bousetta","year":"0","journal-title":"IADIS Int J Comput Sci Info Syst"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2008.4618349"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2017.2759342"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05324-9"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1007\/BF01438224","article-title":"Discrete event control system design using automation Petri nets and their ladder diagram implementation","volume":"14","author":"uzam","year":"1998","journal-title":"Int J Adv Manuf Technol"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/B:JIMS.0000018036.84607.37"},{"key":"ref17","article-title":"Generating JML specifications from UML state diagrams","author":"hubbers","year":"2003","journal-title":"Forum Specif? Des Lang FDL'03"},{"key":"ref18","author":"b\u00f6rger","year":"2003","journal-title":"Abstract State Machines A Method for High-Level System Design and Analysis"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2008.156"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2016.7733528"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.650"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638395"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347102"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.18260\/1-2--28917"},{"key":"ref7","author":"zoitl","year":"0","journal-title":"Distributed control applications guidelines design patterns and app examples with the IEC 61499"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166785"},{"key":"ref9","article-title":"Code Generation from an Abstract State Machine into Contracted C#","author":"jensen","year":"2012","journal-title":"IT-University of Copenhagen"},{"key":"ref1","article-title":"Towards Evolvable State Machines and their Applications","volume":"6","author":"van","year":"2013","journal-title":"Int J Adv Syst Meas"},{"key":"ref20","article-title":"SCADE: Industrial Success of a SCADE: Industrial Success of a Synchronous Language and its Future Challenges","author":"bouali","year":"2011","journal-title":"Anniv Wkshp in honour of Gé rard Berry & Jean-Jacques Lé vy"},{"key":"ref22","article-title":"System Design, Modeling, and Simulation using ptolemy II","author":"ptolemaeus","year":"2014","journal-title":"Ptolemy Org"},{"key":"ref21","author":"taylor","year":"2010","journal-title":"Software Architecture Foundations Theory and Practice"},{"key":"ref24","author":"pont","year":"2002","journal-title":"Embedded C"},{"key":"ref23","author":"shalyto","year":"2014","journal-title":"Automata-Based Programming and Automata-Based Control"},{"key":"ref26","author":"ribas-xirgo","year":"2018","journal-title":"Embedded systems course laboratory video compilation"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90087-8"}],"event":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","location":"Turin","start":{"date-parts":[[2018,9,4]]},"end":{"date-parts":[[2018,9,7]]}},"container-title":["2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8488382\/8502441\/08502451.pdf?arnumber=8502451","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T02:37:49Z","timestamp":1598236669000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8502451\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/etfa.2018.8502451","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}