{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T15:16:10Z","timestamp":1761491770155},"publisher-location":"Boston, MA","reference-count":11,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_62","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"637-642","source":"Crossref","is-referenced-by-count":0,"title":["Integrated Formal Methods for Safety Analysis of Train Systems"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Reif","sequence":"first","affiliation":[]},{"given":"Frank","family":"Ortmeier","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Thums","sequence":"additional","affiliation":[]},{"given":"Gerhard","family":"Schellhorn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"62_CR1","doi-asserted-by":"crossref","unstructured":"Christel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, and Mark Ryan. Symbolic model checking for probabilistic processes. In Automata, Languages and Programming, pages 430\u2013440, 1997.","DOI":"10.1007\/3-540-63165-8_199"},{"key":"62_CR2","doi-asserted-by":"crossref","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, pages 363\u2013366. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-46428-X_25"},{"key":"62_CR3","volume-title":"ITL \u2014 Interval Temporal Logic","author":"A. Cau","year":"2002","unstructured":"A. Cau, B. Moszkowski, and H. Zedan. ITL \u2014 Interval Temporal Logic. Software Technology Research Laboratory, SER Centre, De Montfort University, The Gateway, Leicester LEI 9BH, UK, 2002. www.cms.dmu.ac.uk\/~cau\/itlhomepage."},{"key":"62_CR4","doi-asserted-by":"crossref","unstructured":"W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of STATEMATE designs. In W.-P. de Roever, H. Langmaack, and A. Pnueli, editors, COMPOS\u201997, volume 1536 of LNCS, pages 186\u2013238. Springer-Verlag, 1998.","DOI":"10.1007\/3-540-49213-5_8"},{"key":"62_CR5","volume-title":"Fault Tree Handbook with Aerospace Applications","author":"J. Fragole","year":"2002","unstructured":"J. Fragole J. Minarik II J. Railsback Dr. W. Vesley, Dr. Joanne Dugan. Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance, NASA Headquarters, Washington DC 20546, August 2002."},{"key":"62_CR6","unstructured":"Marsha Fenn, editor. Transportation Statistics Annual Report. U.S. Department of Transportation, Bureau of Transportation Statistics, October 2003."},{"key":"62_CR7","unstructured":"J. Klose and A. Thums. The STATEMATE reference model of the reference case study \u2018Verkehrsleittechnik\u2019. Technical Report 2002-01, Universitat Augsburg, 2002."},{"key":"62_CR8","doi-asserted-by":"crossref","unstructured":"F. Ortmeier and W. Reif. Safety optimization: A combination of fault tree analysis and optimization techniques. Technical Report 5, Institut f\u00fcr Informatik, Universit\u00e4t Augsburg, 2004.","DOI":"10.1109\/DSN.2004.1311935"},{"key":"62_CR9","unstructured":"F. Ortmeier and A. Thums. Formale Methoden und Sicherheitsanalyse. Technical Report 15 Universit\u00e4t Augsburg, 2002. (in German)."},{"key":"62_CR10","unstructured":"G. Schellhorn, A. Thums, and W. Reif. Formal fault tree semantics. In Proceedings of The Sixth World Conference on Integrated Design & Process Technology, Pasadena, CA, 2002."},{"key":"62_CR11","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":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:08:30Z","timestamp":1619672910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_62","relation":{},"subject":[]}}