{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:45:02Z","timestamp":1729676702905,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/date.2010.5457164","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:33Z","timestamp":1361297793000},"page":"447-452","source":"Crossref","is-referenced-by-count":8,"title":["Scenario-based analysis and synthesis of real-time systems using uppaal"],"prefix":"10.1109","author":[{"given":"Kim G","family":"Larsen","sequence":"first","affiliation":[]},{"family":"Shuhao Li","sequence":"additional","affiliation":[]},{"given":"Brian","family":"Nielsen","sequence":"additional","affiliation":[]},{"given":"Saulius","family":"Pusinskas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-3-642-00593-0_6"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A tutorial on uppaal","volume":"3185","author":"behrmann","year":"2004","journal-title":"International School on Formal Methods for the Design of Real-Time Systems (SFM-RT 2004)"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/978-3-540-73368-3_14"},{"key":"ref14","article-title":"Scenario-based analysis and synthesis of real-time systems using uppaal","author":"larsen","year":"2009","journal-title":"Technical Report"},{"key":"ref15","first-page":"229","article-title":"On the synthesis of discrete controllers for timed systems","author":"maler","year":"1995","journal-title":"Proc 12th Annu Symp Theoretical Aspects of Computer Science (STACS)"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/s10270-007-0069-5"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/QSIC.2004.1357938"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1142\/S0129054102000935"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/ICECCS.2005.60"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/11526841_28"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-540-31847-7_18","article-title":"Synthesis revisited: Generating statechart models from scenario-based requirements","author":"harel","year":"2005","journal-title":"Proc Formal Methods in Software and Systems Modeling"},{"key":"ref2","first-page":"378","article-title":"Smart play-out of behavioral requirements","author":"harel","year":"2002","journal-title":"Proc 4th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2002)"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/978-3-642-19029-2"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1016\/j.jal.2005.12.013"}],"event":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","start":{"date-parts":[[2010,3,8]]},"location":"Dresden","end":{"date-parts":[[2010,3,12]]}},"container-title":["2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5450668\/5456897\/05457164.pdf?arnumber=5457164","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T07:48:21Z","timestamp":1498031301000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5457164\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/date.2010.5457164","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}