{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:24:11Z","timestamp":1755221051672,"version":"3.43.0"},"reference-count":12,"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:1008188323123","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T08:17:47Z","timestamp":1040545067000},"page":"61-85","source":"Crossref","is-referenced-by-count":7,"title":["An Approach to Platform Independent Real-Time Programming: (1) Formal Description"],"prefix":"10.1007","volume":"19","author":[{"given":"Jozef","family":"Hooman","sequence":"first","affiliation":[]},{"given":"Onno van","family":"Roosmalen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"261946_CR1","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":"261946_CR2","unstructured":"Burns, A., and Wellings, A. 1996. Advanced fixed priority scheduling. In Real-Time Systems: Specification and Analysis, Joseph, M., ed., Prentice Hall."},{"key":"261946_CR3","unstructured":"Dijkstra, E. W. 1976. A Discipline of Programming. Prentice-Hall."},{"key":"261946_CR4","unstructured":"Gligor, V. D., and Luckenbaugh, G. L. 1983. An assessment of the real-time requirements for programming environments and languages. Proc. Real-Time Systems Symposium, IEEE Computer Society Press, pp. 3\u201319."},{"key":"261946_CR5","doi-asserted-by":"crossref","unstructured":"Hammer, D. K., Luit, E., van Roosmalen, O., van der Stok, P., and Verhoosel, J. 1994. Dedos: A distributed realtime environment. IEEE Parallel & Distributed Technology, Systems & Applications, IEEE Computer Society, pp. 32\u201346.","DOI":"10.1109\/88.345962"},{"issue":"10","key":"261946_CR6","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. Hoare","year":"1969","unstructured":"Hoare, C. 1969. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576\u2013580, 583.","journal-title":"Communications of the ACM"},{"key":"261946_CR7","doi-asserted-by":"crossref","first-page":"801","DOI":"10.1007\/BF01213604","volume":"6A","author":"J. Hooman","year":"1994","unstructured":"Hooman, J. 1994. Extending Hoare logic to real-time. Formal Aspects of Computing, 6A:801\u2013825.","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"261946_CR8","first-page":"87","volume":"19","author":"J. Hooman","year":"2000","unstructured":"Hooman, J., and van Roosmalen, O. S. 2000. An approach to platform independent real-time programming: (2) practical application. Int. Journal of Time Critical Computing Systems, 19(1):87\u2013112.","journal-title":"Int. Journal of Time Critical Computing Systems"},{"issue":"10","key":"261946_CR9","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":"261946_CR10","unstructured":"Joseph, M. (editor). 1996. Real-Time Systems: Specification and Analysis. Prentice Hall."},{"issue":"10","key":"261946_CR11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/167962.165875","volume":"28","author":"S. Matsuoka","year":"1993","unstructured":"Matsuoka, S., Taura, K., and Yonezawa, Y. 1993. Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages. Proc. OOPSLA '93, ACM Sigplan Notices, 28(10):109\u201336.","journal-title":"Proc. OOPSLA '93, ACM Sigplan Notices"},{"issue":"4","key":"261946_CR12","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"Wirth, N. 1971. Programming development by stepwise refinement. Communications of the ACM, 14(4):221\u2013227.","journal-title":"Communications of the ACM"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008188323123.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008188323123\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008188323123.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:07:36Z","timestamp":1754636856000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008188323123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["261946"],"URL":"https:\/\/doi.org\/10.1023\/a:1008188323123","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}