{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:31Z","timestamp":1725663511660},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550921"},{"type":"electronic","value":"9783540466925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55092-5_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:27:05Z","timestamp":1330194425000},"page":"1-20","source":"Crossref","is-referenced-by-count":3,"title":["ISL: An interval logic for the specification of real-time programs"],"prefix":"10.1007","author":[{"given":"Asis","family":"Goswami","sequence":"first","affiliation":[]},{"given":"Michael","family":"Bell","sequence":"additional","affiliation":[]},{"given":"Mathai","family":"Joseph","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"1_CR1","volume-title":"Technical Report UMCS-85-9-3","author":"H. Barringer","year":"1985","unstructured":"H. Barringer. Up and down the temporal way. Technical Report UMCS-85-9-3, Department of Computer Science, University of Manchester, Manchester, 1985."},{"key":"1_CR2","first-page":"52","volume-title":"Lecture Notes in Computer Science 131","author":"E.M. Clarke","year":"1981","unstructured":"E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Lecture Notes in Computer Science 131, pages 52\u201371, Heidelberg, 1981. Springer-Verlag."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Z. Chaochen, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Draft, 4 February, 1991. To appear in Information Processing Letters.","DOI":"10.1016\/0020-0190(91)90122-X"},{"key":"1_CR4","first-page":"278","volume-title":"Lecture Notes in Computer Science 154","author":"J. Halpern","year":"1983","unstructured":"J. Halpern, B. Moszkowski, and Z. Manna. A hardware semantics based on temporal intervals. In Lecture Notes in Computer Science 154, pages 278\u2013291. Springer-Verlag, Heidelberg, 1983."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for real-time systems. In Proceedings of the 18th ACM Symposium on Principles of Programmming Languages, 1991.","DOI":"10.1145\/99583.99629"},{"key":"1_CR6","first-page":"477","volume-title":"Proceedings of the NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems, NATO AFI Series F, Vol. 13","author":"D. Harel","year":"1985","unstructured":"D. Harel and A. Pnueli. On the development of reactive systems. In Proceedings of the NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems, NATO AFI Series F, Vol. 13, pages 477\u2013498, Berlin, 1985. Springer-Verlag."},{"key":"1_CR7","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/REAL.1988.51103","volume-title":"Proceedings of the 9th IEEE Real-Time Systems Symposium","author":"M. Joseph","year":"1988","unstructured":"M. Joseph and A. Goswami. What's \u2018real\u2019 about real-time systems? In Proceedings of the 9th IEEE Real-Time Systems Symposium, pages 78\u201385, Huntsville, Alabama, 1988."},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F. Jahanian","year":"1986","unstructured":"F. Jahanian and A. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, 12:890\u2013904, 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR9","volume-title":"PhD thesis","author":"R. Koymans","year":"1989","unstructured":"R. Koymans. Specifying Message Passing and Time-Critical Systems with Temporal Logic. PhD thesis, Technical University of Eindhoven, Eindhoven, 1989."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"R. Koymans, J. Vytopil, and W.-P. de Roever. Real-time programming and asynchronous message passing. In Proceedings of the 2nd ACM Symposium on Principles of Distributed Computing, pages 187\u2013197, Montreal, 1983.","DOI":"10.1145\/800221.806721"},{"issue":"7","key":"1_CR11","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558\u2013565, 1978.","journal-title":"Communications of the ACM"},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-51803-7_29","volume":"398","author":"P.M. Melliar-Smith","year":"1987","unstructured":"P.M. Melliar-Smith. Extending interval logic to real time systems. In Lecture Notes in Computer Science 398, pages 224\u2013242, 1987.","journal-title":"Lecture Notes in Computer Science"},{"key":"1_CR13","unstructured":"A. Moitra and M. Joseph. Implementing real-time systems by transformation. In H. Zedan, editor, Real-time Systems: Theory and Applications, pages 143\u2013157. North-Holland, 1990."},{"key":"1_CR14","unstructured":"A. Moitra and M. Joseph. Determining timing properties of infinite real-time programs. Technical Report RR172, University of Warwick, Department of Computer Science, 1991."},{"key":"1_CR15","first-page":"215","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1981","unstructured":"Z. Manna and A. Pnueli. Verification of concurrent programs: The temporal framework. In R.S. Boyer and J.S. Moore, editors, The Correctness Problem in Computer Science, pages 215\u2013273. Academic Press, London, 1981."},{"key":"1_CR16","first-page":"201","volume-title":"Lecture Notes in Computer Science 354","author":"Z. Manna","year":"1989","unstructured":"Z. Manna and A. Pnueli. The anchored version of the temporal framework. In Lecture Notes in Computer Science 354, pages 201\u2013284. Springer-Verlag, Heidelberg, 1989."},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1109\/REAL.1988.51104","volume-title":"Proceedings of the 9th IEEE Real-Time Systems Symposium","author":"K.T. Narayana","year":"1988","unstructured":"K.T. Narayana and A.A. Aaby. Specification of real-time systems in real-time temporal interval logic. In Proceedings of the 9th IEEE Real-Time Systems Symposium, pages 86\u201395, Huntsville, Alabama, 1988."},{"key":"1_CR18","first-page":"84","volume-title":"Lecture Notes in Computer Science 331","author":"A. Pnueli","year":"1988","unstructured":"A. Pnueli and E. Harel. Applications of temporal logic to the specification of real time systems (extended abstract). In Lecture Notes in Computer Science 331, pages 84\u201398. Springer-Verlag, Heidelberg, 1988."},{"key":"1_CR19","first-page":"510","volume-title":"Lecture Notes in Computer Science 224","author":"A. Pnueli","year":"1986","unstructured":"A. Pnueli. Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. In Lecture Notes in Computer Science 224, pages 510\u2013584. Springer-Verlag, Heidelberg, 1986."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"R.L. Schwartz, P.M. Melliar-Smith, and F.H. Vogt. An interval logic for higherlevel temporal reasoning. In Proceedings of the 2nd ACM Symposium on Principles of Distributed Computing, pages 173\u2013186, 1983.","DOI":"10.1145\/800221.806720"},{"key":"1_CR21","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BF01941129","volume":"28","author":"W.M. Turski","year":"1988","unstructured":"W.M. Turski. Time considered irrelevant for real-time systems. BIT, 28:473\u2013486, 1988.","journal-title":"BIT"}],"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-55092-5_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:57:23Z","timestamp":1605628643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55092-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540550921","9783540466925"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-55092-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}