{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"institution":[{"name":"Iowa State University, Digital Repository","acronym":["ISU"],"place":["Ames"],"department":["Electrical and Computer Engineering"]}],"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T03:11:41Z","timestamp":1648609901619},"reference-count":0,"publisher":"Iowa State University","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.31274\/etd-180810-2225","type":"dissertation","created":{"date-parts":[[2018,8,10]],"date-time":"2018-08-10T19:38:27Z","timestamp":1533929907000},"approved":{"date-parts":[[2012]]},"source":"Crossref","is-referenced-by-count":0,"title":["RAKSHA:Reliable and Aggressive frameworK for System design using High-integrity Approaches"],"prefix":"10.31274","author":[{"given":"Naga Durga Prasad","family":"Avirneni","sequence":"first","affiliation":[{"name":"Iowa State University"}]}],"member":"13687","container-title":[],"original-title":[],"deposited":{"date-parts":[[2018,8,31]],"date-time":"2018-08-31T22:51:25Z","timestamp":1535755885000},"score":1,"degree":["Doctor of Philosophy"],"resource":{"primary":{"URL":"https:\/\/lib.dr.iastate.edu\/etd\/12831\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.31274\/etd-180810-2225","relation":{},"subject":[]}}