{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T12:58:18Z","timestamp":1748350698494},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441571"},{"type":"electronic","value":"9783540457329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45732-1_29","type":"book-chapter","created":{"date-parts":[[2007,10,11]],"date-time":"2007-10-11T00:38:56Z","timestamp":1192063136000},"page":"296-308","source":"Crossref","is-referenced-by-count":7,"title":["Safety Analysis of the Height Control System for the Elbtunnel"],"prefix":"10.1007","author":[{"given":"Frank","family":"Ortmeier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Schellhorn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Thums","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Hering","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helmut","family":"Trappschuh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"29_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46428-X_25","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Balser","year":"2000","unstructured":"M. Balser, W. Reif, G. Schellhorn, K. Stenzel, and A. Thums. Formal system development with KIV. In T. Maibaum, editor, Fundamental Approaches to Software Engineering, number 1783 in LNCS. Springer, 2000."},{"key":"29_CR2","unstructured":"M. Balser and A. Thums. Interactive verification of statecharts. In Integration of Software Specification Techniques (INT\u201902), 2002."},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3), 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"29_CR4","unstructured":"K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1990."},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"W. Reif, G. Schellhorn, and A. Thums. Safety analysis of a radio-based crossing control system using formal methods. In 9th IFAC Symposium on Control in Transportation Systems 2000, 2000.","DOI":"10.1016\/S1474-6670(17)38156-9"},{"key":"29_CR6","unstructured":"J. Ruf. RAVEN: Real-time analyzing and verification environment. Technical Report WSI 2000-3, University of T\u00fcbingen, Wilhelm-Schickard-Institute, January 2000."},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"J\u00fcrgen Ruf and Thomas Kropf. Symbolic Model Checking for a Discrete Clocked Temporal Logic with Intervals. In E. Cerny and D.K. Probst, editors, Conference on Correct Hardware Design and Verification Methods (CHARME), pages 146\u2013166, Montreal, 1997. IFIP WG 10.5, Chapman and Hall.","DOI":"10.1007\/978-0-387-35190-2_10"},{"key":"29_CR8","unstructured":"J\u00fcrgen Ruf and Thomas Kropf. Modeling and Checking Networks of Communicating Real-Time Systems. In Correct Hardware Design and Verification Methods (CHARME 99), pages 265\u2013279. IFIP WG 10.5, Springer, September 1999."},{"key":"29_CR9","unstructured":"G. Schellhorn, A. Thums, and W. Reif. Formal fault tree semantics. In The Sixth World Conference on Integrated Design & Process Technology, 2002. (to appear)."},{"key":"29_CR10","unstructured":"W. E. Vesely, F. F. Goldberg, N.H. Roberts, and D.F. Haasl. Fault Tree Handbook. Washington, D.C., 1981. NUREG-0492."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45732-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:40:53Z","timestamp":1556908853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45732-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441571","9783540457329"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45732-1_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}