{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:50:54Z","timestamp":1725565854701},"publisher-location":"Berlin, Heidelberg","reference-count":25,"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_8","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T16:51:50Z","timestamp":1284655910000},"page":"96-118","source":"Crossref","is-referenced-by-count":4,"title":["Reference Case Study \u201cTraffic Control Systems\u201d for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator"],"prefix":"10.1007","author":[{"given":"Frank","family":"H\u00e4nsel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Poliak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Slov\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eckehard","family":"Schnieder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-27863-4_9","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"S. Arabestani","year":"2004","unstructured":"Arabestani, S., Bitsch, F., Gayen, J.-T.: Precise Definition of the Single-track Level Crossing in Radio-based Operation in UML Notation and Specification of Safety Requirements. 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. 119\u2013144. Springer, Heidelberg (2004)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Industrial Applications","year":"1996","unstructured":"Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.): Dagstuhl Seminar 1995. LNCS, vol.\u00a01165. Springer, Heidelberg (1996)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-540-27863-4_27","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"M. Brill","year":"2004","unstructured":"Brill, M., Buscherm\u00f6hle, R., Damm, W., Klose, J., Westphal, B., Wittke, H.: Formal Verification of LSCs in the Development Process. 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. 494\u2013516. Springer, Heidelberg (2004)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-27863-4_10","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"S. Berkenk\u00f6ter","year":"2004","unstructured":"Berkenk\u00f6ter, S., Bisanz, S., Hannemann, U., Peleska, J.: Hybrid UML and its Application to Specification and Test of Train Control Systems. 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. 145\u2013173. Springer, Heidelberg (2004)"},{"key":"8_CR5","unstructured":"Bj\u00f8rner, D., Braad, J., Mogensen, K.S.: Models of Railway Systems: Domain. Technical report, Dept. of IT, Techn. Univ. of Denmark (1999), Electronic version available \n                    \n                      http:\/\/www.ifad.dk\/Projects\/FMERail\/proceedings3.htm"},{"key":"8_CR6","unstructured":"Bj\u00f8rner, D.: Domain engineering: a precursor for requirements engineering and software design. Technical report, Dept. of Information Technology, Techn. Univ. of Denmark (1997\u20131998)"},{"key":"8_CR7","unstructured":"Bock, U.: Betriebs- und Kommunikationskonzept f\u00fcr dynamische Rendevous- Man\u00f6ver von Z\u00fcgen. Dissertation, Braunschweig. In: J.-Uwe Varchim [Hrsg.]. Berichte aus dem Institut f\u00fcr Elektrische Me\u00dftechnik und Grundlagen der Elektrorechnik, Band 13 (2001) ISBN 3980818101"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-540-27863-4_14","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"S. Einer","year":"2004","unstructured":"Einer, S.: STOP - Specification Technique of Operational Processes. 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. 227\u2013247. Springer, Heidelberg (2004)"},{"key":"8_CR9","unstructured":"A product of Extessy AG, Germany"},{"key":"8_CR10","unstructured":"Betriebliches Lastenheft f\u00fcr FunkFahrBetrieb. Stand 1.10 (1996)"},{"key":"8_CR11","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: A benchmark for comparing different approaches for specifying and verifying real-time systems. In: Procceedings Tenth International Workshop on Real-Time Operating Systems and Software (May 1993)"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot, M.: STATEMATE: A Working Environment for the Development of Complex. IEEE Transactions on Software Engineering\u00a016, 403\u2013414 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR13","unstructured":"Krone, M.: Visual Formal Specification in Railway System Development. In: Doctoral Consortium of ISRE 1997, Annapolis, USA (1997)"},{"key":"8_CR14","unstructured":"MATLAB\/Simulink r_ Product of The MathWorks, Inc."},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-61055-3","volume-title":"Compiler Construction","author":"T. Nilsson","year":"1996","unstructured":"Nilsson, T.: Application Domain Languages: Some Suggestions for Research. In: Gyim\u00f3thy, T. (ed.) CC 1996. LNCS, vol.\u00a01060, pp. 1\u20134. Springer, Heidelberg (1996)"},{"key":"8_CR16","first-page":"261","volume-title":"15th Intern. Conf. on Conceptual modeling","author":"E. Ortner","year":"1996","unstructured":"Ortner, E., Schienmann, B.: Normative language approach \u2013 a framework for understanding. In: Thalheim, B. (ed.) 15th Intern. Conf. on Conceptual modeling, pp. 261\u2013276. Springer, Berlin (1996)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/978-3-540-27863-4_26","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"F. Ortmeier","year":"2004","unstructured":"Ortmeier, F., Thums, A., Schellhorn, G., Reif, W.: Combining Formal Methods and Safety Analysis - The ForMoSA Approach. 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. 474\u2013493. Springer, Heidelberg (2004)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Pachl, J.: Systemtechnik des Schienenverkehrs. Verlag B. G. Teubner, Stuttgart, Leipzig (1999)","DOI":"10.1007\/978-3-322-96739-8"},{"key":"8_CR19","unstructured":"Parthasarathy, S., Schnieder, E.: The explication problem: Achille\u2019s heel of formal methods. In: 6. Fachtagung Entwicklung und Betrieb komplexer Automatisierungssysteme (EKA 1999), 1st edn., May 1999, pp. 93\u2013103 (1999)"},{"key":"8_CR20","unstructured":"Schrom, H., Schnieder, E.: SCAN - A hardware minimised low cost \/ low power bus - A functional overview. In: MICRO.tec 2000, Hannover, February 2000, vol.\u00a01, pp. 183\u2013186 (2000), 25.-27.09.2000, Expo 2000"},{"key":"8_CR21","unstructured":"Schnieder, E., Jansen, L.: Traffic Control Systems Case Study: Problem. Description and Note on Domain-based Software Specification, Integration of Specification Techniques with Applications in Engineering. In: Forschungsbericht des Fachbereichs Informatik der TU Berlin (2000)"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Snelting, G.: Paul Feyerabend und die Softwaretechnologie, Informatik Spektrum, Oktober 1998, pp. 273\u2013276 (1998)","DOI":"10.1007\/s002870050105"},{"key":"8_CR23","unstructured":"StP: Software through pictures, Product of AONIX"},{"key":"8_CR24","unstructured":"Lexique g\u00e9n\u00e9ral des termes ferroviaires \u2013 Fran\u00e7ais, Deutsch, English, Italiano, Espa\u00f1ol, Nederlands. Union Internationale des Chemins de fer, Paris, 4th edn. (1988)"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-540-27863-4_20","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"A. Thums","year":"2004","unstructured":"Thums, A., Schellhorn, G., Ortmeier, F., Reif, W.: Interactive Verification of Statecharts. 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. 355\u2013373. Springer, Heidelberg (2004)"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T22:37:14Z","timestamp":1558305434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27863-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231356","9783540278634"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27863-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}