{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:27:03Z","timestamp":1725888423291},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319605876"},{"type":"electronic","value":"9783319605883"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60588-3_11","type":"book-chapter","created":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T08:35:27Z","timestamp":1496046927000},"page":"169-183","source":"Crossref","is-referenced-by-count":0,"title":["A New Ravenscar-Based Profile"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Rogers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose","family":"Ruiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tristan","family":"Gingold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Bernardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,30]]},"reference":[{"issue":"5\u20136","key":"11_CR1","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1002\/cpe.843","volume":"17","author":"J Kwon","year":"2005","unstructured":"Kwon, J., Wellings, A.J., King, S.: Ravenscar-Java: a high-integrity profile for real-time Java. Concurrency Comput. Pract. Experience 17(5\u20136), 681\u2013713 (2005)","journal-title":"Concurrency Comput. Pract. Experience"},{"issue":"2","key":"11_CR2","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/334725.334746","volume":"19","author":"H Shen","year":"1999","unstructured":"Shen, H., Baker, T.P.: A Linux kernel module implementation of restricted Ada tasking. ACM SIGAda Ada Lett. 19(2), 96\u2013103 (1999)","journal-title":"ACM SIGAda Ada Lett."},{"issue":"2","key":"11_CR3","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/334725.334733","volume":"19","author":"B Dobbing","year":"1999","unstructured":"Dobbing, B.: The Ravenscar tasking profile \u2013 experience report. ACM SIGAda Ada Lett. 19(2), 28\u201332 (1999)","journal-title":"ACM SIGAda Ada Lett."},{"key":"11_CR4","unstructured":"Burns, A., Wellings, A.: Analysable Real-Time Systems Programmed in Ada. CreateSpace Independent Publishing Platform (2016)"},{"issue":"2","key":"11_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/997119.997120","volume":"XXIV","author":"A Burns","year":"2004","unstructured":"Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Lett. XXIV(2), 1\u201374 (2004)","journal-title":"Ada Lett."},{"key":"11_CR6","unstructured":"ISO: ISO\/IEC JTC 1\/SC 22\/WG9 Ada Reference Manual-Language and Standard Libraries-ISO\/IEC 8652:2012\/Cor 1:2016 (2016)"},{"key":"11_CR7","volume-title":"Real-Time Systems and Programming Languages","author":"A Burns","year":"2009","unstructured":"Burns, A., Wellings, A.J.: Real-Time Systems and Programming Languages, 4th edn. Addison-Wesley, Reading (2009)","edition":"4"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Berrendonner, R., Guitton, J.: The ESA Ravenscar benchmark. In: Reliable Software Technologies \u2013 Ada-Europe 2005. Springer, New York (2005)","DOI":"10.1007\/11499909_21"},{"issue":"1","key":"11_CR9","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/2870544.2870549","volume":"35","author":"P Rogers","year":"2015","unstructured":"Rogers, P., Ruiz, J., Gingold, T.: Toward extensions to the Ravenscar profile. ACM SIGAda Ada Lett. 35(1), 32\u201337 (2015)","journal-title":"ACM SIGAda Ada Lett."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60588-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T08:39:05Z","timestamp":1496047145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60588-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319605876","9783319605883"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60588-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}