{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T22:51:56Z","timestamp":1648507916371},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,5,1]],"date-time":"1996-05-01T00:00:00Z","timestamp":830908800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1996,5]]},"DOI":"10.1007\/bf00383386","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T06:59:44Z","timestamp":1104130784000},"page":"223-244","source":"Crossref","is-referenced-by-count":2,"title":["Predictability of a RTX2000-based implementation"],"prefix":"10.1007","volume":"10","author":[{"given":"Charles","family":"Andr\ufffd","sequence":"first","affiliation":[]},{"given":"Marie-Agn\ufffds","family":"P\ufffdraldi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Aho,A. Sethi,R. and Ullman,J. 1988. Compilers Principles, Techniques and Tools. Addison Wesley Publishing Company."},{"key":"CR2","unstructured":"Andr\u00e9,C and P\u00e9raldi,M.A. 1992. From Esterel to Forth. In SIGForth'92 FOETH Language Workshop, Kansas-City (USA)."},{"key":"CR3","unstructured":"Andr\u00e9,C and P\u00e9raldi,M.A. 1993. A comprehensive session of synchronous program implementation on RTX2000. Technical Report RR 93-46, 13S, Sophia-Antipolis, France."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, C and P\u00e9raldi, M.A. 1993. Effective implementation of Esterel programs. In 5 th Euromicro Workshop on Real-Time Systems, Oulu, Finland, pp. 262?267.","DOI":"10.1109\/EMWRT.1993.639108"},{"issue":"9","key":"CR5","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"Benveniste, A. and Berry, G. 1991. The synchronous approach to reactive and real-time systems. Proceeding of the IEEE, 79(9):1270?1282.","journal-title":"Proceeding of the IEEE"},{"issue":"9","key":"CR6","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"1991","unstructured":"Boussinot, F. and De Simone, R., 1991. The Esterel language. Proceeding of the IEEE, 79(9): 1293?1304.","journal-title":"Proceeding of the IEEE"},{"key":"CR7","doi-asserted-by":"crossref","DOI":"10.1142\/1740","volume-title":"Real-Time Systems: Implementation of Industrial Computerised Process Automation","author":"W. Halang","year":"1992","unstructured":"Halang, W. and Sacha, K. 1992. Real-Time Systems: Implementation of Industrial Computerised Process Automation. World Scientific, Singapore."},{"key":"CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4032-8","volume-title":"Constructing Predictable Real-Time Systems","author":"W. Halang","year":"1991","unstructured":"Halang, W. and Stoyenko, A. 1991. Constructing Predictable Real-Time Systems. Kluwer Academic Publishers, Amsterdam."},{"key":"CR9","volume-title":"RTX2000 Reference manual","author":"Harris","year":"1988","unstructured":"Harris. 1988. RTX2000 Reference manual. Harris Semiconductor Corporation, Melbourne (FL)."},{"issue":"9","key":"CR10","first-page":"1268","volume":"79","author":"IEEE","year":"1991","unstructured":"IEEE. 1991. Another look at real-time programming. Proceedings of the IEEE, 79(9):1268?1336.","journal-title":"Proceedings of the IEEE"},{"issue":"6","key":"CR11","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/2.294853","volume":"27","author":"J. Smith","year":"1994","unstructured":"Smith, J. and Weiss, S. 1994. PowerPC 601 and Alpha 21064: A Tale of Two Riscs. Computer, 27(6): 46?58","journal-title":"Computer"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00383386.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00383386\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00383386","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T21:35:44Z","timestamp":1554327344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00383386"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,5]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,5]]}},"alternative-id":["BF00383386"],"URL":"https:\/\/doi.org\/10.1007\/bf00383386","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,5]]}}}