{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:02:10Z","timestamp":1762459330337},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/sies.2015.7185065","type":"proceedings-article","created":{"date-parts":[[2015,8,13]],"date-time":"2015-08-13T22:55:14Z","timestamp":1439506514000},"page":"1-10","source":"Crossref","is-referenced-by-count":8,"title":["Model checking of finite-state machine-based scenario-aware dataflow using timed automata"],"prefix":"10.1109","author":[{"given":"Mladen","family":"Skelin","sequence":"first","affiliation":[]},{"given":"Erik Ramsgaard","family":"Wognsen","sequence":"additional","affiliation":[]},{"given":"Mads Chr.","family":"Olesen","sequence":"additional","affiliation":[]},{"given":"Rene Rydhof","family":"Hansen","sequence":"additional","affiliation":[]},{"given":"Kim Guldstrand","family":"Larsen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.33"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656058"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref14","first-page":"47","article-title":"Automated extraction of scenario sequences from disciplined dataflow networks","author":"siyoum","year":"2013","journal-title":"Formal Methods and Models for Codesign (MEMO CODE) 2013 Eleventh IEEE\/ACM International Conference on"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISSOC.2011.6089222"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.23"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2011.6045491"},{"key":"ref18","article-title":"FSM-based SADF","author":"stuijk","year":"2008","journal-title":"Technical report Eindhoven University of Technology Department of Electrical Engineering"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2007.7"},{"key":"ref4","article-title":"A tutorial on Uppaal","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer Communication and Software Systems SFM-RT 2004 Bertinoro Italy September 13–18 2004 Revised Lectures"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1993.319147"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6859-2_28"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.243"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531090"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2014.13"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1878985"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695924"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176552"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24310-3_5"}],"event":{"name":"2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2015,6,8]]},"location":"Siegen, Germany","end":{"date-parts":[[2015,6,10]]}},"container-title":["10th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7164234\/7185026\/07185065.pdf?arnumber=7185065","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:49:28Z","timestamp":1602686968000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7185065"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/sies.2015.7185065","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}