{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:04Z","timestamp":1725663364620},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:14:26Z","timestamp":1330251266000},"page":"242-256","source":"Crossref","is-referenced-by-count":0,"title":["Extending working environments for the development of reactive\/adaptive systems with intelligent controls"],"prefix":"10.1007","author":[{"given":"Tzilla","family":"Elrad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sungyoung","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ufuk","family":"Verun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"issue":"No.1","key":"20_CR1","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/141454.141463","volume":"12","author":"A. Burns","year":"1992","unstructured":"A. Burns, A.J. Wellings, \u201cIn Support of the Ada 9X Real-Time Facilities\u201d, Ada Letters, Jan\/Feb 1992, Vol.12, No.1, pp.53\u201364.","journal-title":"Ada Letters"},{"issue":"No.8","key":"20_CR2","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/108515.108524","volume":"34","author":"B. Chandrasekaran","year":"1991","unstructured":"B. Chandrasekaran, R. Bhatnagar, D.D. Sharma, \u201cReal-Time Disturbance Control\u201d, Communications of the ACM, August 1991, Vol.34, No.8, pp.32\u201347.","journal-title":"Communications of the ACM"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and C. Kesselman, \u201cParallel Programming in 2001\u201d, IEEE Software, November 1991, pp. 11\u201320.","DOI":"10.1109\/52.103573"},{"key":"20_CR4","unstructured":"Ada 9X Mapping v3.1, Technical Report, Office of the Under Secretary of Defense for Acquisition, Department of Defense, Washington, D.C., August, 1991."},{"key":"20_CR5","unstructured":"R.A. Duff, O. Pazy, W.A. White, \u201cLightweight Task Synchronization: The Protected Record Mechanism in Ada 9X\u201d, Proceedings of TRI-Ada 91, San Jose, CA, USA, October 21\u201325, 1991."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"T. Elrad, \u201cComprehensive Race Controls: A Versatile Scheduling Mechanism for Real-Time Applications\u201d, Proceedings of the Ada Europe Conference, ADA The Design Choice, Ed. Angel Alvarez, Cambridge University Press, June 1989.","DOI":"10.21236\/ADA224263"},{"key":"20_CR7","unstructured":"T. Elrad, Final Report on Comprehensive Race Controls, Prepared for U.S. Army HQCECOM, Center for Software Engineering Advanced Software Technology, CIN:C08092KU 000100, February 1990."},{"key":"20_CR8","unstructured":"D. Harel, \u201cStatecharts: A Visual Formalism for Complex Systems\u201d, Science of Computer Programming 8 (1987), North-Holland, pp.231\u2013274."},{"key":"20_CR9","volume-title":"The Concurrent-C Programming Language","author":"N. Gehani","year":"1989","unstructured":"N. Gehani, W.D. Roome, The Concurrent-C Programming Language, Silicon Press, Summit, NJ, 1989."}],"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_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:39Z","timestamp":1605646779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55585-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555858","9783540472407"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-55585-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}