{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:02Z","timestamp":1772163962067,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":1,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,11,6]],"date-time":"2011-11-06T00:00:00Z","timestamp":1320537600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,11,6]]},"DOI":"10.1145\/2070337.2070339","type":"proceedings-article","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T14:55:03Z","timestamp":1321887303000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["How to measure and optimize reliable embedded software"],"prefix":"10.1145","author":[{"given":"Ian","family":"Broster","sequence":"first","affiliation":[{"name":"Rapita Systems Ltd, York, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Coombes","sequence":"additional","affiliation":[{"name":"Rapita Systems Ltd, York, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,11,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"RVS (Rapita Verification Suite). RapiTime WCET and Timing Analysis and RapiCover structural coverage tool. http:\/\/www.rapitasystems.com\/  RVS (Rapita Verification Suite). RapiTime WCET and Timing Analysis and RapiCover structural coverage tool. http:\/\/www.rapitasystems.com\/"}],"event":{"name":"SIGAda '11: ACM SIGAda Annual International Conference","location":"Denver Colorado USA","acronym":"SIGAda '11","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2070337.2070339","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2070337.2070339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:54:52Z","timestamp":1750226092000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2070337.2070339"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,6]]},"references-count":1,"alternative-id":["10.1145\/2070337.2070339","10.1145\/2070337"],"URL":"https:\/\/doi.org\/10.1145\/2070337.2070339","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2070336.2070339","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,11,6]]},"assertion":[{"value":"2011-11-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}