{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:53Z","timestamp":1725663173413},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503026"},{"type":"electronic","value":"9783540459651"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50302-1_12","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:19:53Z","timestamp":1330183193000},"page":"159-174","source":"Crossref","is-referenced-by-count":13,"title":["Paradigms for real-time systems"],"prefix":"10.1007","author":[{"given":"Ron","family":"Koymans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruurd","family":"Kuiper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Zijlstra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"12_CR1","unstructured":"G. Berry, S. Moisan and J. P. Rigault, ESTEREL: Towards a synchronous and semantically sound high level language for Real Time applications, IEEE Real Time Systems, 1983."},{"key":"12_CR2","unstructured":"B. Dasarathy, Timing Constraints of Real Time Systems: Constructs for Expressing Them, Methods for Validating Them, IEEE Real Time Systems 1982."},{"key":"12_CR3","unstructured":"C. C. Foster, Real Time Programming \u2014 Neglected Topics, Addison-Wesley series \u2018the Joy of Computing', 1981."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"P. Henderson, Functional Programming, Formal Specification and Rapid Prototyping, IEEE Transactions in Software Engineering 12, 1986.","DOI":"10.1109\/TSE.1986.6312939"},{"issue":"8","key":"12_CR5","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare, Communicating Sequential Processes, Communications ACM, vol. 21 No 8, pp. 666\u2013677, aug 1978.","journal-title":"Communications ACM"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"D. Harel & A. Pnueli, On the Development of Reactive Systems, in: K. R. Apt (ed.) Logics and Models of Concurrent Systems, NATO ASI Series vol. F13, Springer 1985.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"12_CR7","unstructured":"D. J. Hatley and I. A. Pirbhai, Strategies for Real-Time System Specification, Dorset House Publishing, 1987."},{"key":"12_CR8","unstructured":"M. A. Jackson, System Development, Prentice Hall International, 1983."},{"key":"12_CR9","unstructured":"C. B. Jones, Systematic Software Development Using VDM, Prentice Hall International, 1986."},{"key":"12_CR10","unstructured":"R. Koymans, R. Kuiper and E. Zijlstra, Specifying Message Passing and Real-Time Systems with Real-Time Temporal Logic, in: ESPRIT'87 Achievements and Impact, North-Holland 1987."},{"key":"12_CR11","unstructured":"G. Le Lann, On Real-Time Distributed Computing, IFIP 1983."},{"key":"12_CR12","first-page":"85","volume":"6","author":"D. W. Leinbaugh","year":"1980","unstructured":"D. W. Leinbaugh, Guaranteed Response Times in a Hard-Real-Time Environment, IEEE TSE, vol. 6, pp. 85\u201391, Jan 1980.","journal-title":"IEEE TSE"},{"key":"12_CR13","unstructured":"D. W. Leinbaugh and M. R. Yamini, Guaranteed Response Times in a Distributed Hard-Real-Time Environment, IEEE Real Time Systems 1982."},{"key":"12_CR14","unstructured":"A. K. Mok, Fundamental design problems of distributed systems for the hard-real-time environment, thesis, MIT 1983."},{"key":"12_CR15","unstructured":"D. Mellichamp, Real Time Computing with Applications to Data Acquisition and Control, Van Nostrand Reinhold 1983."},{"key":"12_CR16","unstructured":"S. J. Mellor & P. T. Ward, Structured Development for Real-Time Systems, vol. 1: \u2018Introduction and Tools', Yourdon Press 1986."},{"key":"12_CR17","unstructured":"S. J. Mellor & P. T. Ward, Structured Development for Real-Time Systems, vol. 2: \u2018Essential Modeling Techniques', Yourdon Press 1986."},{"key":"12_CR18","unstructured":"S. J. Mellor & P. T. Ward, Structured Development for Real-Time Systems, vol. 3: \u2018Implementation Modeling Techniques', Yourdon Press 1986."},{"key":"12_CR19","unstructured":"C. Seitz, System Timing, in C. Mead & L. Conway, Introduction to VLSI Systems, Addison Wesley 1980."},{"key":"12_CR20","unstructured":"F. G. Shinskey, Process Control Systems, McGraw-Hill 1967."},{"key":"12_CR21","unstructured":"The Language of Statemate, AdCad Ltd, Rehovot Israel, 1987."},{"key":"12_CR22","unstructured":"A. S. Tanenbaum, Computer Networks, Prentice Hall International 1981."},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"N. Wirth, Towards a Discipline of Real-Time Programming, C-ACM, vol. 20, No 8, aug 1977.","DOI":"10.1145\/359763.359798"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50302-1_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:54:38Z","timestamp":1619556878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50302-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503026","9783540459651"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-50302-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}