{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T05:18:52Z","timestamp":1736227132269,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555643"},{"type":"electronic","value":"9783540472186"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0032001","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:36:29Z","timestamp":1134282989000},"page":"371-396","source":"Crossref","is-referenced-by-count":3,"title":["Specification and analysis of resource-bound real-time systems"],"prefix":"10.1007","author":[{"given":"Richard","family":"Gerber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-Checking for Real-Time Systems. In Proc. of IEEE Symposium on Logic in Computer Science, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1016\/0890-5401(90)90059-Q","volume":"87","author":"R. Cleaveland","year":"1990","unstructured":"R. Cleaveland and M. Hennessy. Priorities in Process Algebras. Information and Computation, 87:58\u201377, 1990.","journal-title":"Information and Computation"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"M.K. Franklin and A. Gabrielian. A Transformational Method for Verifying Safety Properties in Real-Time Systems. In Proc. IEEE Real-Time Systems Symposium, pages 112\u2013123, December 1989.","DOI":"10.1109\/REAL.1989.63562"},{"key":"17_CR4","unstructured":"R. Gerber. Communicating Shared Resrouces: A Model for Distributed Real-Time Systems. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1991."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"R. Gerber and I. Lee. Communicating Shared Resources: A Model for Distributed Real-Time Systems. In Proc. 10th IEEE Real-Time Systems Symposium, 1989.","DOI":"10.1109\/REAL.1989.63558"},{"key":"17_CR6","volume-title":"Technical Report ECS-LFCS-86-14","author":"R. Harper","year":"1986","unstructured":"R. Harper. Introduction to standard ML. Technical Report ECS-LFCS-86-14, Department of Computer Science, University of Edinburgh, The King's Buildings-Edinburgh EH9 3JZ-Scotland, 1986."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"J. Hooman. Specification and Compositional Verification of Real-Time Systems. PhD thesis, Eindhoven University of Technology, 1991.","DOI":"10.1007\/3-540-54947-1"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"C. Huizing, R. Gerth, and W.P. de Roever. Full Abstraction of a Denotational Semantics for Real-time Concurrency. In Proc. 14th ACM Symposium on Principles of Programming Languages, pages 223\u2013237, 1987.","DOI":"10.1145\/41625.41645"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"M. Joseph and A. Goswami. What's \u2018Real\u2019 about Real-time Systems? In IEEE Real-Time Systems Symposium, 1988.","DOI":"10.1109\/REAL.1988.51103"},{"issue":"5","key":"17_CR10","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1109\/TSE.1983.235261","volume":"SE-9","author":"J.E. Coolahan Jr.","year":"1983","unstructured":"J.E. Coolahan Jr. and N. Roussopoulos. Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Trans. Software Eng., SE-9(5):603\u2013616, September 1983.","journal-title":"IEEE Trans. Software Eng."},{"key":"17_CR11","unstructured":"I. Lee and V. Gehlot. Language Constructs for Distributed Real-Time Programming. In Proc. IEEE Real-Time Systems Symposium, 1985."},{"key":"17_CR12","unstructured":"N. Lynch and M. Tuttle. An Introduction to Input\/Output Automata. Technical Report MIT\/LCS\/TM-373, Laboratory for Computer Science, Massachusetts Institute of Technology, 1988."},{"key":"17_CR13","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"17_CR14","unstructured":"J.S. Qstroff and W.M. Wonham. Modelling, Specifying and Verifying Real-time Embedded Computer Systems. In Proc. IEEE Real-Time Systems Symposium, pages 124\u2013132, December 1987."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"G.M. Reed and A.W. Roscoe. Metric Spaces as Models for Real-Time Concurrency. In Proceedings of Math. Found. of Computer Science, LNCS 298, 1987.","DOI":"10.1007\/3-540-19020-1_17"},{"issue":"7","key":"17_CR16","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"A.C. Shaw","year":"1989","unstructured":"A.C. Shaw. Reasoning About Time in Higher-Level Language Software. IEEE Transactions on Software Engineering, 15(7):875\u2013889, 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"W. Yi. Ccs + time = an interleaving model for real time systems. In ICALP, 1991.","DOI":"10.1007\/3-540-54233-7_136"}],"container-title":["Lecture Notes in Computer Science","Real-Time: Theory in Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0032001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T12:09:10Z","timestamp":1736165350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032001"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555643","9783540472186"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0032001","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}