{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T07:55:29Z","timestamp":1648799729774},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2018,3,28]],"date-time":"2018-03-28T00:00:00Z","timestamp":1522195200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s11432-016-9220-5","type":"journal-article","created":{"date-parts":[[2018,4,10]],"date-time":"2018-04-10T06:34:43Z","timestamp":1523342083000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Evaluation of redundancy-based system: a model checking approach"],"prefix":"10.1007","volume":"61","author":[{"given":"Ling","family":"Fang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunyan","family":"Mu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhuo","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoqiang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,28]]},"reference":[{"key":"9220_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/b97414","volume-title":"Handbook of Reliability Engineering","author":"H Pham","year":"2003","unstructured":"Pham H. Handbook of Reliability Engineering. Berlin: Springer, 2003"},{"key":"9220_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14952-8","volume-title":"Reliability Engineering: Theory and Practice","author":"A Birolini","year":"2010","unstructured":"Birolini A. Reliability Engineering: Theory and Practice. Berlin: Springer, 2010"},{"key":"9220_CR3","first-page":"156","volume-title":"Proceedings of International Conference on Software Engineering (ICSE15), Florence","author":"A Carzaniga","year":"2015","unstructured":"Carzaniga A, Mattevelli A, Pezze M. Measuring software redundancy. In: Proceedings of International Conference on Software Engineering (ICSE15), Florence, 2015. 156\u2013166"},{"key":"9220_CR4","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen J. Principles of Model Checking. Cambridge: MIT Press, 2008"},{"key":"9220_CR5","unstructured":"PRISM website. www.prismmodelchecker.org"},{"key":"9220_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29032-9","volume-title":"Resilience Assessment and Evaluation of Computing Systems","author":"K Wolter","year":"2012","unstructured":"Wolter K, Avritzer A, Vieira M, et al. Resilience Assessment and Evaluation of Computing Systems. Berlin: Springer, 2012"},{"key":"9220_CR7","volume-title":"The Definitive Guide to the ARM Cortex-M3","author":"J Yiu","year":"2009","unstructured":"Yiu J. The Definitive Guide to the ARM Cortex-M3. Amsterdam: Elsevier, 2009"},{"key":"9220_CR8","unstructured":"FUJIMI website. www.letech.jp"},{"key":"9220_CR9","volume-title":"Dependability in Electronic Systems: Mitigation of Hardware Failures, Soft Errors, and Electromagnetic Disturbances","author":"N Kanekawa","year":"2010","unstructured":"Kanekawa N, Ibe H, Suga T, et al. Dependability in Electronic Systems: Mitigation of Hardware Failures, Soft Errors, and Electromagnetic Disturbances. Berlin: Springer, 2010"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-016-9220-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-016-9220-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-016-9220-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T00:47:46Z","timestamp":1553734066000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-016-9220-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,28]]},"references-count":9,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["9220"],"URL":"https:\/\/doi.org\/10.1007\/s11432-016-9220-5","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,28]]},"assertion":[{"value":"14 December 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 June 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 July 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 March 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"069101"}}