{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T17:29:38Z","timestamp":1770744578089,"version":"3.49.0"},"reference-count":10,"publisher":"IEEE","license":[{"start":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T00:00:00Z","timestamp":1383264000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T00:00:00Z","timestamp":1383264000000},"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":[[2013,11]]},"DOI":"10.1109\/issrew.2013.6688854","type":"proceedings-article","created":{"date-parts":[[2014,1,3]],"date-time":"2014-01-03T13:44:26Z","timestamp":1388756666000},"page":"15-16","source":"Crossref","is-referenced-by-count":0,"title":["Certification of embedded systems: Quantitative analysis and irrefutable evidences"],"prefix":"10.1109","author":[{"given":"Nuno","family":"Silva","sequence":"first","affiliation":[{"name":"Critical Software SA \/ University of Coimbra, Coimbra, Portugal"}]},{"given":"Marco","family":"Vieira","sequence":"additional","affiliation":[{"name":"University of Coimbra, Coimbra, Portugal"}]}],"member":"263","reference":[{"key":"3","year":"0"},{"key":"2","year":"0"},{"key":"10","year":"0"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/WoSoCER.2011.9"},{"key":"7","year":"0"},{"key":"6","year":"2012","journal-title":"The Specification and Demonstration of Reliability Availability Maintainability and Safety (RAMS) CENELEC"},{"key":"5","year":"0"},{"key":"4","year":"0"},{"key":"9","year":"0"},{"key":"8","year":"0"}],"event":{"name":"2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","location":"Pasadena, CA, USA","start":{"date-parts":[[2013,11,4]]},"end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6679593\/6688826\/06688854.pdf?arnumber=6688854","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T18:31:55Z","timestamp":1754677915000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6688854\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/issrew.2013.6688854","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}