{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T09:45:57Z","timestamp":1730195157381,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/aiccsa.2008.4493609","type":"proceedings-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T13:37:07Z","timestamp":1209389827000},"page":"734-742","source":"Crossref","is-referenced-by-count":0,"title":["Test of preemptive real-time systems"],"prefix":"10.1109","author":[{"given":"Noureddine","family":"Adjir","sequence":"first","affiliation":[]},{"given":"Pierre","family":"de Saqui-Sannes","sequence":"additional","affiliation":[]},{"given":"K.","family":"Mustapha Rahmouni","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050044"},{"key":"35","article-title":"formal methods for test automation - hard real-time testing of controllers for the airbus aircraft family","author":"peleska","year":"2002","journal-title":"IDPT'02"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211314"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00134-6"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055641"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2004.1342774"},{"key":"15","first-page":"138","article-title":"the impressive power of stopwatches","volume":"1877","author":"cassez","year":"2000","journal-title":"LNCS"},{"key":"34","article-title":"automated test generation from timed automata","volume":"2031","author":"nielsen","year":"2001","journal-title":"LNCS"},{"key":"16","first-page":"371","article-title":"timed automata with periodic clock constraints","volume":"5","author":"choffrut","year":"2000","journal-title":"JALC"},{"key":"13","article-title":"testing transition systems: an annotated bibliography","volume":"2067","author":"brinksma","year":"2000","journal-title":"LNCS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566196"},{"key":"37","first-page":"46","article-title":"testing concurrent systems: a formal approach","volume":"1664","author":"tretmans","year":"1999","journal-title":"LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.6"},{"journal-title":"Testing timing behavior of real-time software","year":"1997","author":"braberman","key":"12"},{"key":"21","article-title":"timed test cases generation based on state characterization technique","author":"en-nouaary","year":"1998","journal-title":"RTSS'98"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023491"},{"key":"22","first-page":"67","article-title":"timed automata with asynchronous processes: schedulability and decidability","volume":"2280","author":"fersman","year":"2002","journal-title":"LNCS"},{"year":"0","key":"23"},{"key":"24","first-page":"278","article-title":"the theory of hybrid automata","author":"henzinger","year":"1996","journal-title":"Proc 11th An LICS'96"},{"key":"25","article-title":"time-optimal real-time test case generation using uppaal","author":"hessel","year":"2003","journal-title":"FATES'03"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35567-2_13"},{"year":"0","key":"27"},{"key":"28","article-title":"stg: a symbolic test generation tool","volume":"2280","author":"je?ron","year":"2002","journal-title":"LNCS"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24617-6_10"},{"key":"3","article-title":"when are timed automata weakly timed bisimilar to time petri nets ?","volume":"3821","author":"be?rard","year":"2005","journal-title":"LNCS"},{"key":"2","first-page":"1","volume":"75","author":"be?rard","year":"2000","journal-title":"Timed automata and additive clock constraints"},{"year":"0","key":"10"},{"year":"0","key":"1"},{"key":"30","first-page":"151","article-title":"generating real-time software test cases by time petri nets","volume":"22","author":"lin","year":"2000","journal-title":"IJCA (EI journal)"},{"journal-title":"Reachability Problems and Abstract State Space for Timed Petri Nets with Stopwatches","year":"2006","author":"berthomieu","key":"7"},{"key":"6","article-title":"bridging the gap between timed automata and bounded time petri nets","volume":"4202","author":"berthomieu","year":"2006","journal-title":"LNCS"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331312688"},{"key":"31","article-title":"an expressive and implementable formal framework for testing real-time systems","author":"krichen","year":"2005","journal-title":"17th IFIP Intl TestCom'05"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000026093.21513.31"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.04.003"}],"event":{"name":"2008 IEEE\/ACS International Conference on Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2008,3,31]]},"location":"Doha, Qatar","end":{"date-parts":[[2008,4,4]]}},"container-title":["2008 IEEE\/ACS International Conference on Computer Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4488216\/4493499\/04493609.pdf?arnumber=4493609","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T11:34:45Z","timestamp":1489664085000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4493609\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2008.4493609","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}