{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T18:10:05Z","timestamp":1756491005567,"version":"3.44.0"},"reference-count":10,"publisher":"IEEE","license":[{"start":{"date-parts":[[2008,6,1]],"date-time":"2008-06-01T00:00:00Z","timestamp":1212278400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2008,6,1]],"date-time":"2008-06-01T00:00:00Z","timestamp":1212278400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/dsn.2008.4630124","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T11:10:29Z","timestamp":1222427429000},"page":"532-541","source":"Crossref","is-referenced-by-count":0,"title":["A recurrence-relation-based reward model for performability evaluation of embedded systems"],"prefix":"10.1109","author":[{"given":"Ann T.","family":"Tai","sequence":"first","affiliation":[{"name":"IA Tech, Inc., Los Angeles, CA 90094, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kam S.","family":"Tso","sequence":"additional","affiliation":[{"name":"IA Tech, Inc., Los Angeles, CA 90094, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William H.","family":"Sanders","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, 61801, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"3","DOI":"10.1080\/10485250701261913"},{"key":"2","first-page":"241","article-title":"multi-formalism and multi-solution-method modeling frameworks: the mobius approach","author":"sanders","year":"2003","journal-title":"Proc of Symp on Performance Evaluation - Stories and Perspectives"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1007\/BF01211907"},{"key":"1","article-title":"design of high-performance embedded system using model integrated computing","author":"mohanty","year":"2004","journal-title":"Proc of the 2nd RTAS Workshop on Model-Driven Embedded Systems"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1142\/S0218539302000640"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1007\/BF01158775"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1007\/s11009-007-9035-5"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1111\/j.0006-341X.1999.00514.x"},{"year":"2002","author":"trivedi","journal-title":"Probability & Statistics with Reliability Queueing and Computer Science Applications","key":"9"},{"key":"8","first-page":"31","article-title":"performability modeling of coordinated software and hardware fault tolerance","author":"tai","year":"2003","journal-title":"Proc of PMCCS-6"}],"event":{"name":"2008 IEEE International Conference on Dependable Systems & Networks With FTCS and DCC (DSN)","start":{"date-parts":[[2008,6,24]]},"location":"Anchorage, AK, USA","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4610267\/4630050\/04630124.pdf?arnumber=4630124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T17:40:31Z","timestamp":1756489231000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4630124\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/dsn.2008.4630124","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}