{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:46:34Z","timestamp":1754487994055},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:13Z","timestamp":1330279093000},"page":"156-168","source":"Crossref","is-referenced-by-count":18,"title":["A visual formalism for real time requirement specifications"],"prefix":"10.1007","author":[{"given":"Konrad","family":"Feyerabend","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Josko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill. The theory of timed automata. In J.W. de Bakker, T. Henzinger, and W.P. de Roever, editors, Real Time: Theorie in Practice, REX Workshop 1991, LNCS 600, pages 45\u201373. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0031987"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R. Alur","year":"1994","unstructured":"R. Alur and T. Henzinger. A really temporal logic. Journal of the ACM, 41:181\u2013204, 1994.","journal-title":"Journal of the ACM"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. UPPAAL \u2014 a tool suite for automatic verification of real-time systems. In Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995.","DOI":"10.1007\/BFb0020949"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"G. Boriello. Formalized timing diagrams. In Proceedings, The European Conference on Design Automation, pages 372\u2013377, Brussels, Belgium, 1992.","DOI":"10.1109\/EDAC.1992.205958"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, and D.L. Dill. Sequential circuit verification using symbolic model checking. In Proceedings, 27th ACM\/IEEE Design Automation Conference, pages 46\u201351, June 1990.","DOI":"10.1145\/123186.123223"},{"key":"11_CR6","unstructured":"W. Damm, B. Josko, and R. Schl\u00f6r. Specification and verification of VHDL-based system-level hardware designs. In E. B\u00f6rger, editor, Specification and Validation Methods, pages 331\u2013410. Oxford University Press, 1995."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool KRONOS. In Hybrid Systems III, Verification and Control, LNCS 1066. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0020947"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"C. Dietz. Graphical formalization of real-time requirements. In Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'96), LNCS 1135, pages 366\u2013384. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61648-9_51"},{"key":"11_CR9","unstructured":"K. Feyerabend. Real time symbolic timing diagrams. Technical report, Department of Computer Science, Oldenburg University, September 1996. http:\/\/ca.informatik.uni-oldenburg.de."},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16:403\u2013414, 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. Henzinger","year":"1994","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"11_CR12","unstructured":"IEEE Standard VHDL Reference Manual IEEE Std 1076-1987, 1987."},{"key":"11_CR13","unstructured":"P.K. Khordoc, M. Dufresne, and E. Czerny. A stimulus\/response system based on hierarchical timing diagrams. Technical Report 770, Universite de Montreal, 1991."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"C. Delgado Kloos and W. Damm, editors. Formal Methods for Hardware Verification. Springer-Verlag, 1996.","DOI":"10.1007\/978-3-642-60641-0"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"L. E. Moser, P. M. Melliar-Smith, Y.S. Ramakrishna, G. Kutty, and L. K. Dillon. The real-time graphical interval logic toolset. In Proceedings of the 8th Int. Conference on Computer Aided Verification CAV'96, LNCS 1102. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61474-5_99"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Y.S. Ramakrishna, P.M. Melliar-Smith, L.E. Moser, L.K. Dillon, and G. Kutty. Really visual temporal reasoning. In Proceedings of 14th Real-Time Systems Symposium, pages 262\u2013273, December 1993.","DOI":"10.1109\/REAL.1993.393490"}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T10:37:25Z","timestamp":1561372645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}