{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:00:41Z","timestamp":1761487241669},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Real-Time Systems"],"published-print":{"date-parts":[[1992,3]]},"DOI":"10.1007\/bf00365464","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T13:03:06Z","timestamp":1099400586000},"page":"55-83","source":"Crossref","is-referenced-by-count":26,"title":["Cy-Clone: An approach to the engineering of resource adequate cyclic real-time systems"],"prefix":"10.1007","volume":"4","author":[{"given":"Harold W.","family":"Lawson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"33","volume-title":"Programming of Future Generation Computers","author":"G. Berry","year":"1988","unstructured":"BerryG., Couronn\u00e9P. and GonthierG. 1988. Synchronous Programming of Reactive Systems: An Introduction to ESTEREL. In: K.Fuchi and M.Nivat (eds.) Programming of Future Generation Computers, pp. 33?55, Amsterdam: Elsevier Science Publishers."},{"issue":"11","key":"CR2","doi-asserted-by":"crossref","first-page":"1029","DOI":"10.1002\/spe.4380181103","volume":"18","author":"M. Bertran","year":"1988","unstructured":"BertranM. 1988. On a Formal Definition and Application of Dimensional Design. Software Practice and Experience 18(11): 1029?1045.","journal-title":"Software Practice and Experience"},{"key":"CR3","unstructured":"Cohen, B. and Lawson, H. 1977. The Definition and Implementation of Telecommunication Languages. Proceedings of the Eighth International Symposium on Human Factors in Telecommunications, Cambridge, England."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Flynn. M.J. 1966. Very High Speed Computing Systems. Proceedings IEEE, vol. 54 no. 12.","DOI":"10.1109\/PROC.1966.5273"},{"key":"CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4032-8","volume-title":"Constructing Predictable Real Time Systems","author":"W.A. Halang","year":"1991","unstructured":"HalangW.A. and StoyenkoA.D. 1991. Constructing Predictable Real Time Systems. Boston-Dordrecht-London: Kluwer Academic Publishers."},{"key":"CR6","unstructured":"Heemstra de Groot, S.M. and Hermann, O.E. 1989. evaluation of Some Multiprocessor Scheduling Techniques of Atomic Operations for Recursive DSP Filters. Proceedings of the European Conference on Circuit Theory and Design, pp. 400?404."},{"key":"CR7","unstructured":"IEEE 1987. IEEE Standard VHDL Reference Manual. IEEE Standard 1076?1987."},{"issue":"12","key":"CR8","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/38807.38824","volume":"22","author":"I. Jacobson","year":"1987","unstructured":"JacobsonI. 1987. Object-Oriented Development in an Industrial Environment. OOPSLA '87 Proceedings, Special Issue of SIGPLAN Notices, 22(12): 183?191.","journal-title":"OOPSLA '87 Proceedings, Special Issue of SIGPLAN Notices"},{"key":"CR9","unstructured":"Jacobson, I. 1991. Object-Oriented Software Engineering. in production by Addison-Wesley."},{"key":"CR10","unstructured":"Jensen, D. and Northcutt, J.D. 1990. Alpha: A Non-Proprietary Operating System for Mission-Critical Real-Time Distributed Systems. Proceedings of the 1990 IEEE Workshop on Experimental Distributed Systems, October."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Damm, A., Koza, C., Mulazzani, M., Schwabi, W, Senft, C., and Zainlinger, R. 1989. Distributed Fault-Tolerant Real-Time Systems: The MARS Approach. IEEE Micro, pp. 25?158, February.","DOI":"10.1109\/40.16792"},{"key":"CR12","unstructured":"Lawson, H.W. 1978. Programming, Architecture and Complexity. Proceedings of the First European Conference on Pragmatic Programming and Sensible Software, Online Conference, London."},{"issue":"12","key":"CR13","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/2.62093","volume":"23","author":"H.W. Lawson","year":"1990","unstructured":"LawsonH.W. 1990. Philosophies for Engineering Computer-Based Systems. IEEE Computer, 23(12): 52?63.","journal-title":"IEEE Computer"},{"key":"CR14","unstructured":"Lawson, H.W. 1991. Parallel Processing in Industrial Real-Time Applications. in production by Prentice-Hall."},{"key":"CR15","volume-title":"Human Information Processing: An Introduction to Psychology","author":"P.H. Lindsay","year":"1977","unstructured":"LindsayP.H. and NormanD.A. 1977. Human Information Processing: An Introduction to Psychology. New York: Academic Press."},{"key":"CR16","unstructured":"Lipovski, G.J. 1976. The Architecture of a Simple, Effective Control Processor. Microprogramming and Microprocessing, Proceedings of the EUROMICRO Symposium, North-Holland."},{"key":"CR17","unstructured":"Locke, C.D. 1986. Best Effort Decision Making for Real-Time Scheduling. Ph.D. Thesis, CMU-CS-86-134, Department of Computer Science, Carnegie-Mellon University."},{"key":"CR18","volume-title":"Introduction to VLSI Systems","author":"C. Mead","year":"1980","unstructured":"MeadC. and ConwayL. 1980. Introduction to VLSI Systems. Reading, MA: Addison-Wesley."},{"key":"CR19","unstructured":"Plavsic, V. and Lawson H.W. 1978. The Utilization of Controllable Cyclic Memory Properties in Non-Numeric Data Processing. Proceedings of the EUROMICRO 78 Symposium, North Holland Publishing Company."},{"key":"CR20","unstructured":"Selfridge, O. 1959. Pandemonium: A Paradigm for Learning. Symposium on the Mechanization of Thought Processes. H.M. Stationery Office."},{"issue":"4","key":"CR21","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.55469","volume":"23","author":"L. Sha","year":"1990","unstructured":"ShaL. and GoodenoughJ.B. 1990. Real-Time Scheduling Theory and Ada. IEEE Computer 23(4): 53?62.","journal-title":"IEEE Computer"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Stankovic, J.A. 1990. The Spring Architecture, Proceedings Euromicro '90 Workshop on Real Time, IEEE Computer Society Press, pp. 104?113, June.","DOI":"10.1109\/EMWRT.1990.128236"},{"issue":"No. 3","key":"CR23","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/71021.71023","volume":"23","author":"H. Tokuda","year":"1989","unstructured":"TokudaH. and C.W.Mercer 1989. ARTS: A Distributed Real-Time Kernel, Operating System Review, Vol. 23, No. 3, pp. 29?53.","journal-title":"Operating System Review"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1002\/spe.4380070503","volume":"7","author":"R. Witty","year":"1977","unstructured":"WittyR. 1977. Dimensional Flowcharting. Software Practice and Experience, Vol. 7, pp. 553?584.","journal-title":"Software Practice and Experience"},{"key":"CR25","unstructured":"Witty, R. 1981. Small Scale Software Engineering, Ph.D. Dissertation, Department of Computer Science, Brunel University, Uxbridge, UK."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00365464.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00365464\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00365464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T17:47:54Z","timestamp":1585936074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00365464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["BF00365464"],"URL":"https:\/\/doi.org\/10.1007\/bf00365464","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}