{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T18:43:42Z","timestamp":1747248222492,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693110","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:07:25Z","timestamp":1389028045000},"page":"529-539","source":"Crossref","is-referenced-by-count":7,"title":["Minimizing CPU time shortage risks in integrated embedded software"],"prefix":"10.1109","author":[{"given":"Shiva","family":"Nejati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Morayo","family":"Adedjouma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Hellebaut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Begey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Clement","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"journal-title":"Elementary Number Theory Primes Congruences and Secrets A Computational Approach","year":"2008","author":"stein","key":"17"},{"year":"2007","key":"18"},{"journal-title":"Constraint-Based Local Search","year":"2005","author":"hentenryck","key":"15"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"16"},{"journal-title":"Autosar Metamodel Release 4 1","year":"0","key":"13"},{"journal-title":"IBM ILOG CPLEX CP Optimizer","year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16561-0_21"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_48"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"journal-title":"Elementary Statistics for the Social Sciences Study Guide","year":"1991","author":"capon","key":"20"},{"journal-title":"Software Model-based Performance Analysis","year":"2010","author":"petriu","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2011.28"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1978802.1978814"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1201\/9781420067859-c4"},{"key":"26","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":"ser Lecture Notes in Computer Science"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.171"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.22"},{"key":"2","first-page":"1","article-title":"The embedded systems design challenge","volume":"4085","author":"henzinger","year":"2006","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"10","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s10710-006-9003-9","article-title":"Using genetic algorithms for early schedulability analysis and stress testing in real-time systems","volume":"7","author":"briand","year":"2006","journal-title":"Genetic Programming and Evolvable Machines"},{"journal-title":"Introduction to Embedded Systems-A Cyber-Physical Systems Approach","year":"2010","author":"lee","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/EMWRT.1993.639042"},{"journal-title":"Real-Time Systems","year":"2000","author":"liu","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2012.2185913"},{"key":"4","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1023\/A:1021782503695","article-title":"Scheduling of offset free systems","volume":"24","author":"goossens","year":"1997","journal-title":"Real-Time Systems"},{"journal-title":"Essentials of Metaheuristics","year":"2009","author":"luke","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.71"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2013,11,11]]},"location":"Silicon Valley, CA, USA","end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693110.pdf?arnumber=6693110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:23:05Z","timestamp":1498108985000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693110\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693110","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}