{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:34:25Z","timestamp":1740548065954,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231356"},{"type":"electronic","value":"9783540278634"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27863-4_9","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T16:51:50Z","timestamp":1284655910000},"page":"119-144","source":"Crossref","is-referenced-by-count":6,"title":["Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements"],"prefix":"10.1007","author":[{"given":"Saeid","family":"Arabestani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Friedemann","family":"Bitsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan-Tecker","family":"Gayen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Adtranz: Lastenhefte zum Funkfahrbetrieb (FFB), Deutsche Bahn AG (1997)"},{"key":"9_CR2","unstructured":"Arabestani, S.: Umschreibung von Zustandsdiagrammen der UML f\u00fcr das Model- Checking. In: Schnieder, E (Hrsg.): Entwurfsmethodik, Modellbildung, Werkzeuge und Anwendungen, 8. Fachtagung EKA, pp. S. 63\u201379 (2003)"},{"key":"9_CR3","unstructured":"Arabestani, S.: Relations in Object-Oriented Analysis. In: Ehrig, H., Grosse-Rhode, M. (eds.) Proceedings of 2nd International Workshop on Software Specification Techniques-Satelite Event of ETAPS, pp. 37\u201347 (2002)"},{"key":"9_CR4","unstructured":"Arabestani, S., Gayen, J.-T.: Objektorientierte Analyse zur Modellierung im Eisenbahnwesen. Signal & Draht\u00a092, 1+2, S. 20\u201327 (2000)"},{"key":"9_CR5","unstructured":"Arabestani, S., Gayen, J.-T.: Prinzip der Vererbung bei der objektorientierten Analyse am Beispiel der funkbasierten Bahn\u00fcbergangssteuerung. In: Schnieder, E. (Hrsg.) (ed.) Eisenbahnsicherung, Fortschritt-Berichte VDI, Reihe 12, Verkehrstechnik\/Fahrzeugtechnik, vol.\u00a0441 (2000)"},{"key":"9_CR6","unstructured":"Bitsch, F., Canver, E., Moik, A.: Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode. In: Schnieder, E. (ed.) Forms 1999 - Formale Techniken f\u00fcr die Eisenbahnsicherung, Fortschritt-Berichte VDI, Reihe 12, Verkehrstechnik\/ Fahrzeugtechnik, Nr.436, pp. S 225\u2013245. VDI Verlag GmbH, D\u00fcsseldorf (2000)"},{"key":"9_CR7","unstructured":"Bitsch, F., G\u00f6hner, P.: Spezifikation von Sicherheitsanforderungen mit Safety-Pattern. Software Engineering in der industriellen Praxis, VDI-Bericht-Nr. 1666, D\u00fcsseldorf, pp. S. 29\u201340 (2002)"},{"key":"9_CR8","unstructured":"Bitsch, F.: A Way for Applicable Formal Specification of Safety Requirements by Tool- Support. In: Tarnai, G., Schnieder, E. (eds.) Proceedings of FORMS 2003 - Formal Methods for Railway Operation and Control Systems, L\u2019Harmattan, Budapest, pp. 175\u2013185 (2003)"},{"key":"9_CR9","unstructured":"Bitsch, F.: Process Model for the Development of System Requirements Specifications for Railway Systems. In: Schnieder, E. (ed.): Workshop on Software specification of safety relevant transportation control tasks, VDI-Fortschrittbericht, Reihe 12, Verkehrstechnik\/ Fahrzeugtechnik, Nr.535, VDI Verlag GmbH, D\u00fcsseldorf, pp. 75\u201390 (2002)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45416-0_18","volume-title":"Computer Safety, Reliability and Security","author":"F. Bitsch","year":"2001","unstructured":"Bitsch, F.: Safety Patterns - The Key to Formal Specification of Safety Requirements. In: Voges, U. (ed.) SAFECOMP 2001. LNCS, vol.\u00a02187, pp. S.176\u2013189. Springer, Heidelberg (2001)"},{"key":"9_CR11","unstructured":"CELENEC EN 50126: Railway Applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (1999)"},{"key":"9_CR12","unstructured":"CENELEC EN 50128: Railway Applications - Communications, signaling and processing systems - Software for railway control and protection systems (2001)"},{"key":"9_CR13","unstructured":"CENELEC EN 50129: Railway Applications - Safety related electronic systems for signaling (2000)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Dill, D.L., Drexler, A.J., Hu, A.J., Yang, C.H.: Protocol Verification as a Hardware Design Aid. In: Proc. IEEE Int\u2019l Conf. Computer Design: VLSI in Computers and Processors, pp. 522\u2013525 (1992)","DOI":"10.1109\/ICCD.1992.276232"},{"key":"9_CR15","unstructured":"DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik im DIN und VDE: DIN EN 61508 (VDE 0803) \u201cFunktionale Sicherheit - Sicherheitssysteme (E\/E\/PES)\u201c (2002)"},{"key":"9_CR16","unstructured":"Fingerle, M.: Konzeption zur Auswertung von UML Systemmodellen f\u00fcr die Durchf\u00fchrung von Sicherheitsanalysen. Diplomarbeit IAS, SADA Nr. 1868, Universit\u00e4t Stuttgart (2003)"},{"key":"9_CR17","unstructured":"Gayen, J.-T.: Sicherheitsanforderungen\/-eigenschaften im FFB (1999), http:\/\/ivev8.ivev.bau.tubs.de\/forschung\/dfg-spp\/sicherheitsanforderungen\/"},{"key":"9_CR18","unstructured":"Gunzert, M.: Komponentenbasierte Softwareentwicklung f\u00fcr sicherheitskritische eingebettete Systeme. Dissertation, IAS, Universit\u00e4t Stuttgart (2003)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-27863-4_8","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"F. H\u00e4nsel","year":"2004","unstructured":"H\u00e4nsel, F., Poliak, J., Slov\u00e1k, R., Schnieder, E.: Reference case study \u201cTraffic Control Systems\u201d for comparison and validation of formal specifications using a model demonstrator. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 96\u2013118. Springer, Heidelberg (2004)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/BFb0055332","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"C.L. Heitmeyer","year":"1998","unstructured":"Heitmeyer, C.L.: On the Need for \u2018Practical\u2019 Formal Methods. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol.\u00a01486, pp. 18\u201326. Springer, Heidelberg (1998)"},{"issue":"11","key":"9_CR21","doi-asserted-by":"publisher","first-page":"927","DOI":"10.1109\/32.730543","volume":"24","author":"C. Heitmeyer","year":"1998","unstructured":"Heitmeyer, C., Kirby Jr., J., Labaw, B., Archer, M., Bharadwaj, R.: Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Transactions on software engineering\u00a024(11), 927\u2013948 (1998)","journal-title":"IEEE Transactions on software engineering"},{"key":"9_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-58446-6","volume-title":"Prozessautomatisierung 1. 3. Auflage","author":"R. Lauber","year":"1999","unstructured":"Lauber, R., G\u00f6hner, P.: Prozessautomatisierung 1. 3. Auflage. Springer, Heidelberg (1999)"},{"key":"9_CR23","unstructured":"Moik, A.: Ingenieurgerechte formale Methoden f\u00fcr die Entwicklung von sicheren Automatisierungssystemen. Dissertation, IAS, Universit\u00e4t Stuttgart (2002)"},{"key":"9_CR24","unstructured":"Ortner, E.: Methodenneutraler Fachentwurf - Zu den Grundlagen einer anwendungsorientierten Informatik. Stuttgart, Leipzig: B. G. Teubner Verlagsgesellschaft (1997)"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of the 18th IEEE Symposium Foundations of Computer Science (FOCS, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"9_CR26","unstructured":"Lakoff, G.: Linguistik und nat\u00fcrliche Logik. Athen\u00e4um Verlag, Frankfurt (1970)"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Schnieder, E.: Methoden der Automatisierung \u2013 Beschreibungsmittel, Modellkonzepte und werkzeuge f\u00fcr Automatisierungssysteme. Friedr. Vieweg & Sohn Verlag, Braunschweig, Wiesbaden (1999)","DOI":"10.1007\/978-3-322-90879-7_4"},{"key":"9_CR28","unstructured":"OMG Unified Modeling Language Specification, Version 1.5, OMG Document formal\/03- 03-01 (March 2003)"}],"container-title":["Lecture Notes in Computer Science","Integration of Software Specification Techniques for Applications in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27863-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T21:50:15Z","timestamp":1740520215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27863-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231356","9783540278634"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27863-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}