{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:39:34Z","timestamp":1778297974719,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540616481","type":"print"},{"value":"9783540706533","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:09:56Z","timestamp":1330276196000},"page":"366-384","source":"Crossref","is-referenced-by-count":16,"title":["Graphical formalization of real-time requirements"],"prefix":"10.1007","author":[{"given":"Cheryl","family":"Dietz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"21_CR1","unstructured":"A.P. Ravn. Design of Embedded Real-Time Computing Systems. Technical report, ID\/DTH, Lyngby, Denmark, 1995."},{"key":"21_CR2","unstructured":"G. Boriello. Formalized Timing Diagrams. In Proc. European Conference on Design Automation. Belgium, 1992."},{"key":"21_CR3","unstructured":"C. Antoine, B. Le Goff. Timing Diagrams for writing and checking logical and behavioural properties of integrated systems. In P. Prinetti, P.Camurati, editor, Correct Hardware Design Methodologies. Elsevier Science Publishers, 1992."},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"H. Langmaack, W.-P. de Roever, J. Vytopil (eds.). Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer, 1994.","DOI":"10.1007\/3-540-58468-4"},{"key":"21_CR5","unstructured":"Jifeng He, C.A.R.Hoare, M. Fr\u00e4nzle, M. M\u00fcller-Olm, E.-R. Olderog, M. Schenke, M.R. Hansen, A.P. Ravn, H. Rischel. Provably Correct Systems. In H. Langmaack, W.P. de Roever, Y. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer, 1994."},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker, C. Huizing, W.P. de Roever, G Rozenberg (eds.). Real-Time: Theory in Practice. Springer, 1991.","DOI":"10.1007\/BFb0031984"},{"key":"21_CR7","unstructured":"M. Broy. A Functional Rephrasing of the Assumption\/Commitment Specification Style. Technical report, TU M\u00fcnchen, TUM-I9417, 1994."},{"key":"21_CR8","unstructured":"M. Fujita, H. Fujisawa. Specification, Verification and and Synthesis of Control Circuits with Prepositional Temporal Logic. In J.A. Darringer, F.J. Rammig, editor, Computer Hardware Description Languages and their Applications. IFIP, Elsevier Science Publishers B.V., 1990."},{"key":"21_CR9","unstructured":"M. Schenke, E.-R. Olderog. Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications. In STRICT'95. Springer, 1995."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"M. von der Beeck. A Comparison of Statecharts Variants. In H. Langmaack, W.-P. de Roever, J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer, 1994.","DOI":"10.1007\/3-540-58468-4_163"},{"key":"21_CR11","unstructured":"R. Schl\u00f6r, W. Damm. Specification and Verification of System Level Hardware Designs using Timing Diagrams. In Proc. The European Conference on Design Automation. Paris, France, 1993."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Y.S. Ramakrishna, P.M. Melliar-Smith, L.E. Moser, L.K. Dillon, G. Kutty. Really Visual Temporal Reasoning. In Proc. 14th RTSS, Raliegh-Durham. IEEE Press, 1993.","DOI":"10.1109\/REAL.1993.393490"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems \u2014 Specification. Springer, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, C.A.R. Hoare, A.P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5), 1991.","DOI":"10.1016\/0020-0190(91)90122-X"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, Dang Van Hung, Li Xiaoshan. A Duration Calculus with Infinite Intervals. Technical report, UNU\/IIST Report No. 40, 1995.","DOI":"10.1007\/3-540-60249-6_39"}],"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-61648-9_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:09:05Z","timestamp":1605629345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}