{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:23:46Z","timestamp":1755221026032,"version":"3.43.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[2000,7]]},"DOI":"10.1023\/a:1008140407193","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T08:17:47Z","timestamp":1040545067000},"page":"87-112","source":"Crossref","is-referenced-by-count":2,"title":["An Approach to Platform Independent Real-Time Programming: (2) Practical Application"],"prefix":"10.1007","volume":"19","author":[{"given":"Jozef","family":"Hooman","sequence":"first","affiliation":[]},{"given":"Onno van","family":"Roosmalen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"261947_CR1","unstructured":"Ada 95 Reference Manual, International Standard ANSI\/ISO\/IEC-8652:1995, January 1995."},{"key":"261947_CR2","doi-asserted-by":"crossref","unstructured":"Aksit, M., Bosch, J., Sterren, W. v. d., and Bergmans, L. 1994. Real-time specification inheritance anomalies and real-time filters. Proc. ECOOP '94, LNCS 821, Springer Verlag, pp. 386\u2013407.","DOI":"10.1007\/BFb0052193"},{"key":"261947_CR3","unstructured":"Booch, G. 1983. Software Engineering with Ada. Benjamin Cummings Publishing Company."},{"key":"261947_CR4","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1006\/jpdc.1996.0088","volume":"36","author":"L. Bergmans","year":"1996","unstructured":"Bergmans, L., and Aksit, M. 1996. Composing synchronisation and real-time constraints. Journal of Parallel and Distributed Computing, 36:32\u201352.","journal-title":"Journal of Parallel and Distributed Computing"},{"issue":"2","key":"261947_CR5","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1093\/comjnl\/34.2.173","volume":"34","author":"A. Burns","year":"1991","unstructured":"Burns, A., and Lister, A. M. 1991. A framework for building dependable systems. The Computer Journal, 34(2):173\u2013181.","journal-title":"The Computer Journal"},{"key":"261947_CR6","unstructured":"Burns, A., and Wellings, A. 1996. Advanced fixed priority scheduling. In Real-Time Systems: Specification and Analysis, Joseph, M., ed., Prentice Hall, pp. 32\u201365."},{"key":"261947_CR7","unstructured":"Burns, A., and Wellings, A. 1989. Real-Time Systems and Their Programming Languages. Addison-Wesley."},{"issue":"4","key":"261947_CR8","first-page":"365","volume":"2","author":"W. A. Halang","year":"1990","unstructured":"Halang, W. A., and Stoyenko, A. D. 1990. Comparative evaluation of high-level real-time programming languages. International Journal of Time-Critical Computing Systems, 2(4):365\u2013382.","journal-title":"International Journal of Time-Critical Computing Systems"},{"key":"261947_CR9","doi-asserted-by":"crossref","unstructured":"Halang, W. A., and Stoyenko, A. D. 1991. Constructing Predictable Real-Time Systems. Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4615-4032-8"},{"key":"261947_CR10","doi-asserted-by":"crossref","unstructured":"Hooman, J., and van Roosmalen, O. S. 1997. Timed-event abstraction and timing constraints in distributed real-time programming. Proc. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), IEEE Computer Society, pp. 153\u2013160.","DOI":"10.1109\/WORDS.1997.609947"},{"issue":"1","key":"261947_CR11","first-page":"61","volume":"19","author":"J. Hooman","year":"2000","unstructured":"Hooman, J., and van Roosmalen, O. S. 2000. An approach to platform independent real-time programming: (1) formal description. Int. Journal of Time Critical Computing Systems, 19(1):61\u201385.","journal-title":"Int. Journal of Time Critical Computing Systems"},{"issue":"10","key":"261947_CR12","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/97946.97980","volume":"25","author":"Y. Ishikawa","year":"1990","unstructured":"Ishikawa, Y., Tokuda, H., and Mercer, C. W. 1990. Object-oriented real-time language design: Constructs for timing constraints. ACM Sigplan Notices, 25(10):289\u2013298.","journal-title":"ACM Sigplan Notices"},{"key":"261947_CR13","unstructured":"Joseph, M. (editor). 1996. Real-Time Systems: Specification and Analysis. Prentice Hall."},{"key":"261947_CR14","doi-asserted-by":"crossref","unstructured":"Kligerman, E., and Stoyenko, A. D. 1986. Real-time Euclid: A language for reliable real-time systems. IEEE Transactions on Software Engineering, SE-12(9).","DOI":"10.1109\/TSE.1986.6313049"},{"key":"261947_CR15","doi-asserted-by":"crossref","unstructured":"Lin, K., Liu, J.W. S., Kenny, K. B., and Natarajan, S. 1991. FLEX: A language for programming flexible real-time systems. In Foundation of Real-Time Computing (Formal Specifications and Methods), van Tilborg, M., and Koob, G. M., eds., Kluwer Academic Publishers, pp. 251\u2013289.","DOI":"10.1007\/978-1-4615-4016-8_10"},{"issue":"10","key":"261947_CR16","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1145\/141937.141959","volume":"27","author":"K. Takashio","year":"1992","unstructured":"Takashio, K., and Tokoro, M. 1992. DROL: An object-oriented programming language for distributed real-time systems. Proc. OOPSLA '92, ACM Sigplan Notices, 27(10):276\u2013294.","journal-title":"Proc. OOPSLA '92, ACM Sigplan Notices"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008140407193.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008140407193\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008140407193.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:15:12Z","timestamp":1754637312000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008140407193"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["261947"],"URL":"https:\/\/doi.org\/10.1023\/a:1008140407193","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}