{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:47Z","timestamp":1725664067938},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555858"},{"type":"electronic","value":"9783540472407"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55585-4_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:14:14Z","timestamp":1330251254000},"page":"116-127","source":"Crossref","is-referenced-by-count":3,"title":["Designing hard real-time systems"],"prefix":"10.1007","author":[{"given":"A.","family":"Burns","sequence":"first","affiliation":[]},{"given":"A. J.","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"unstructured":"European Space Agency, \u201cHOOD Reference Manual Issue 3.0\u201d, WME\/89-173\/JB (September 1989).","key":"11_CR1"},{"doi-asserted-by":"crossref","unstructured":"N.C. Audsley, A. Burns, M.F. Richardson and A.J. Wellings, \u201cHard Real-Time Scheduling: The Deadline Monotonic Approach\u201d, Proceedings 8th IEEE Workshop on Real-Time Operating Systems and Software, Atlanta, GA, USA (15\u201317 May 1991).","key":"11_CR2","DOI":"10.1016\/S1474-6670(17)51283-5"},{"issue":"2","key":"11_CR3","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1093\/comjnl\/34.2.173","volume":"34","author":"A. Burns","year":"1991","unstructured":"A. Burns and A. M. Lister, \u201cA Framework for Building Dependable Systems\u201d, Computer Journal\n34(2), pp. 173\u2013181 (1991).","journal-title":"Computer Journal"},{"unstructured":"A. Burns and A.J. Wellings, Hard Real-time HOOD: A Design Method for Hard Real-time Ada 9X Systems, Towards Ada 9X, Proceedings of 1991 Ada UK International Conference, IOS Press (1992).","key":"11_CR4"},{"unstructured":"Intermetrics, \u201cDraft Ada 9X Mapping Document, Volume II, Mapping Specification\u201d, Ada 9X Project Report (August 1991).","key":"11_CR5"},{"unstructured":"H. Kopetz, \u201cDesign Principles for Fault Tolerant Real Time Systems\u201d, MARS Report, Institut f\u00fcr Technische Informatik, 8\/85\/2 (1985).","key":"11_CR6"},{"key":"11_CR7","volume-title":"Tech Report","author":"J. P. Lehoczky","year":"1987","unstructured":"J.P. Lehoczky, L. Sha and V. Ding, \u201cThe Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior\u201d, Tech Report, Department of Statistics, Carnegie-Mellon (1987)."},{"issue":"9","key":"11_CR8","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"L. Sha, R. Rajkumar and J. P. Lehoczky, \u201cPriority Inheritance Protocols: An Approach to Real-Time Synchronisation\u201d, IEEE Transactions on Computers\n39(9), pp. 1175\u20131185 (September 1990).","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Ada: Moving Towards 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55585-4_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:32:27Z","timestamp":1619573547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55585-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555858","9783540472407"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-55585-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}