{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T13:02:05Z","timestamp":1752670925809,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/reconfig.2018.8641710","type":"proceedings-article","created":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T18:39:16Z","timestamp":1550169556000},"page":"1-8","source":"Crossref","is-referenced-by-count":6,"title":["High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs"],"prefix":"10.1109","author":[{"given":"Vladimir","family":"Estivill-Castro","sequence":"first","affiliation":[]},{"given":"Rene","family":"Hexel","sequence":"additional","affiliation":[]},{"given":"Morgan","family":"McColl","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Object-Oriented Modelling and Design","year":"1991","author":"rumbaugh","key":"ref10"},{"journal-title":"Information Technology-Object Management Group Unified Modeling Language (Omg Uml) Infrastructure","year":"2012","key":"ref11"},{"key":"ref12","first-page":"22","article-title":"Demystifying UML","volume":"19","author":"mellor","year":"2006","journal-title":"Embedded Systems Design"},{"key":"ref13","article-title":"A formal semantics for a UML kernel language. Deliverable IST\/33522\/WP 1.1\/D1.1.2Part1","author":"damm","year":"2003","journal-title":"OMEGA Correct Development of Real-Time Embedded Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"journal-title":"Modeling and Verification Using UML Statecharts A Working Guide to Reactive System Design Runtime Monitoring and Execution-Based Model Checking","year":"2006","author":"drusinsky","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1177\/0037549712470296"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1201\/b16463"},{"key":"ref18","first-page":"7","author":"barkalov","year":"2016","journal-title":"Logic synthesis for FPGA-based finite state machines Studies in systems decision and control"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269007"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"419 ep","DOI":"10.1038\/311419a0","article-title":"Cellular automata as models of complexity","volume":"311","author":"wolfram","year":"1984","journal-title":"Nature"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2014.45"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11900-7_16"},{"journal-title":"INTERNET OF THINGS 2017 REPORT","year":"2017","key":"ref3"},{"journal-title":"Behavior-Based Robotics","year":"1998","author":"arkin","key":"ref6"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1038\/scientificamerican1070-120","article-title":"Mathematical games: The fantastic combinations of john conway's new solitaire game “life","volume":"223","author":"gardner","year":"1970","journal-title":"Scientific American"},{"key":"ref5","first-page":"25","article-title":"Executable and translatable UML","volume":"16","author":"mellor","year":"2003","journal-title":"Embedded Systems Programming"},{"journal-title":"Real-Time Systems - Design Principles for Distributed Embedded Applications","year":"2011","author":"kopetz","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2993.2994"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2010.05.010"},{"journal-title":"Software Engineering","year":"2010","author":"sommerville","key":"ref9"},{"journal-title":"Embedded Software Development for the Internet Of Things The Basics the Technologies and Best Practices","year":"2016","author":"elk","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.123"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2004.1347584"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809475"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/cta.1874"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2011.20"},{"journal-title":"Real-Time Object-Oriented Modeling","year":"1994","author":"selic","key":"ref26"},{"key":"ref25","first-page":"182","article-title":"Arrangements of finite-state machines semantics, simulation, and model checking","author":"estivill-castro","year":"2013","journal-title":"International Conference on Model-Driven Engineering and Software Development"}],"event":{"name":"2018 International Conference on ReConFigurable Computing and FPGAs (ReConFig)","start":{"date-parts":[[2018,12,3]]},"location":"Cancun, Mexico","end":{"date-parts":[[2018,12,5]]}},"container-title":["2018 International Conference on ReConFigurable Computing and FPGAs (ReConFig)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8637084\/8641689\/08641710.pdf?arnumber=8641710","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T02:56:38Z","timestamp":1643252198000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8641710\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/reconfig.2018.8641710","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}