{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T21:16:53Z","timestamp":1725657413187},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/date.2008.4484728","type":"proceedings-article","created":{"date-parts":[[2008,4,15]],"date-time":"2008-04-15T18:15:51Z","timestamp":1208283351000},"page":"486-491","source":"Crossref","is-referenced-by-count":6,"title":["A Game-Theoretic Approach to Real-Time System Testing"],"prefix":"10.1109","author":[{"given":"Alexandre","family":"David","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuhao","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Nielsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","first-page":"28","article-title":"testing, optimizaton, and games","author":"yannakakis","year":"2004","journal-title":"ICALP 2004"},{"key":"13","first-page":"229","article-title":"on the synthesis of discrete controllers for timed systems","author":"maler","year":"1995","journal-title":"STACS 1995"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00134-6"},{"key":"11","first-page":"123","article-title":"online testing of real-time systems using uppaal","author":"larsen","year":"2004","journal-title":"FATES 2004"},{"key":"12","first-page":"53","article-title":"simple linear-time algorithms for minimal fixed points","author":"liu","year":"1998","journal-title":"ICALP 1998"},{"journal-title":"UPPAAL TIGA User-manual","year":"0","author":"behrmann","key":"3"},{"key":"2","first-page":"121","author":"behrmann","year":"2007","journal-title":"CAV 2007"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"10","first-page":"162","article-title":"real-time model checking is really simple","author":"lamport","year":"2005","journal-title":"CHARME 2005"},{"key":"7","first-page":"114","article-title":"time-optimal realtime test case generation using uppaal","author":"hessel","year":"2003","journal-title":"FATES 2003"},{"article-title":"a game-theoretic approach to real-time system testing. technical report, aalborg university","year":"0","author":"david","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"key":"4","first-page":"64","article-title":"a test generation framework for quiescent real-time systems","author":"briones","year":"2004","journal-title":"FATES 2004"},{"key":"9","first-page":"109","article-title":"black-box conformance testing for real-time systems","author":"krichen","year":"2004","journal-title":"SPIN 2004"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0153-x"}],"event":{"name":"2008 Design, Automation and Test in Europe","start":{"date-parts":[[2008,3,10]]},"location":"Munich, Germany","end":{"date-parts":[[2008,3,14]]}},"container-title":["2008 Design, Automation and Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4475437\/4484624\/04484728.pdf?arnumber=4484728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T17:33:44Z","timestamp":1489685624000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4484728\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/date.2008.4484728","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}