{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:05Z","timestamp":1725490205878},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752202"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75221-9_14","type":"book-chapter","created":{"date-parts":[[2007,8,30]],"date-time":"2007-08-30T10:33:13Z","timestamp":1188469993000},"page":"320-348","source":"Crossref","is-referenced-by-count":8,"title":["A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems"],"prefix":"10.1007","author":[{"given":"Anne E.","family":"Haxthausen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Accellera. Property Specification Language Version 1.1 (2004)","key":"14_CR1"},{"doi-asserted-by":"crossref","unstructured":"Badban, B., Fr\u00e4nzle, M., Peleska, J., Teige, T.: Test automation for hybrid systems. In: Proceedings of the Third International Workshop on SOFTWARE QUALITY ASSURANCE (SOQUA 2006), Portland Oregon, USA (November 2006)","key":"14_CR2","DOI":"10.1145\/1188895.1188902"},{"unstructured":"Berkenk\u00f6tter, K.: OCL-based validation of a railway domain profile. In: OCLApps 2006 - OCL for (Meta-)Models in Multiple Application Domains (October 2006)","key":"14_CR3"},{"key":"14_CR4","volume-title":"The Zohar Manna Intl.Symp. on Verification: Theory & Practice","author":"D. Bj\u00f8rner","year":"2003","unstructured":"Bj\u00f8rner, D.: Domain Engineering: A \u201dRadical Innovation\u201d for Software and Systems Engineering? A Biased Account. In: Dershowitz, N. (ed.) The Zohar Manna Intl.Symp. on Verification: Theory & Practice, Heidelberg, Germany, Springer, Heidelberg (2003)"},{"unstructured":"Bj\u00f8rner, D.: New Results and Current Trends in Formal Techniques for the Development of Software for Transportation Systems. In: Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS\u20192003), Budapest\/Hungary, May 15-16 2003, L\u2019Harmattan Hongrie (2003)","key":"14_CR5"},{"unstructured":"Bj\u00f8rner, D.: Railways systems: Towards a domain theory. Technical report, Informatics and Mathematical Modelling, Technical University of Denmark, Building 322, Richard Petersens Plads, DK-2800 Kgs.Lyngby, Denmark (2003)","key":"14_CR6"},{"key":"14_CR7","series-title":"Texts in Theoretical Computer Science","volume-title":"Abstraction and Modelling","author":"D. Bj\u00f8rner","year":"2006","unstructured":"Bj\u00f8rner, D.: Software Engineering. Abstraction and Modelling. Texts in Theoretical Computer Science, vol.\u00a01, Springer, Heidelberg (2006)"},{"key":"14_CR8","series-title":"Texts in Theoretical Computer Science","volume-title":"Specification of Systems and Languages","author":"D. Bj\u00f8rner","year":"2006","unstructured":"Bj\u00f8rner, D.: Software Engineering. Specification of Systems and Languages. Texts in Theoretical Computer Science, vol.\u00a02, Springer, Heidelberg (2006)"},{"key":"14_CR9","series-title":"Texts in Theoretical Computer Science","volume-title":"Domains, Requirements and Software Design","author":"D. Bj\u00f8rner","year":"2006","unstructured":"Bj\u00f8rner, D.: Software Engineering. Domains, Requirements and Software Design. Texts in Theoretical Computer Science, vol.\u00a03, Springer, Heidelberg (2006)"},{"unstructured":"Bj\u00f8rner, D.: The R\u00f4le of Domain Engineering in Software Development. Invited keynote paper and talk: IPSJ\/SIGSE Software Engineering Symposium 2006, Tokyo (October 2006)","key":"14_CR10"},{"unstructured":"Bj\u00f8rner, D.: Domain Engineering, August 2006. reprinted March 2007. To appear as a chapter in a book based on the BCS FACS Evening Seminars to be published by Springer (UK)","key":"14_CR11"},{"unstructured":"Bj\u00f8rner, D., George, C.W., Stig Hansen, B., Laustrup, H., Prehn, S.: A railway system, coordination\u201997, case study workshop example. Technical Report\u00a093, UNU\/IIST, P.O.Box 3058, Macau (1997)","key":"14_CR12"},{"issue":"3","key":"14_CR13","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1049\/ip-cdt:20045073","volume":"152","author":"R. Drechsler","year":"2005","unstructured":"Drechsler, R., Gro\u00dfe, D.: System level validation using formal techniques. IEE Proc.-Comput. Digit. Tech.\u00a0152(3), 393\u2013406 (2005)","journal-title":"IEE Proc.-Comput. Digit. Tech."},{"unstructured":"Dyhrberg, R., Christensen, N.: A Domain-Specific Language for Tramway Control Systems. Master\u2019s thesis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU (May 2004)","key":"14_CR14"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","year":"2004","unstructured":"Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.): Integration of Software Specification Techniques for Applications in Engineering. LNCS, vol.\u00a03147. Springer, Heidelberg (2004)"},{"unstructured":"European Committee for Electrotechnical Standardization. EN 50128 - Railway applications - Communications, signalling and processing systems - Software for railway control and protection systems. CENELEC, Brussels (2001)","key":"14_CR16"},{"key":"14_CR17","volume-title":"Proceedings of the 10th IFAC Symposium on Control in Transportation Systems","author":"T. Gjaldb\u00e6k","year":"2003","unstructured":"Gjaldb\u00e6k, T., Haxthausen, A.E.: Modelling and Verification of Interlocking Systems for Railway Lines. In: Proceedings of the 10th IFAC Symposium on Control in Transportation Systems, Elsevier, Amsterdam (2003)"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-48092-7_10","volume-title":"Correct System Design","author":"G. Goos","year":"1999","unstructured":"Goos, G., Zimmermann, W.: Verification of compilers. In: Correct System Design, pp. 201\u2013230. Springer, Heidelberg (1999)"},{"key":"14_CR19","volume-title":"System Design with SystemC","author":"T. Gr\u00f6tker","year":"2002","unstructured":"Gr\u00f6tker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer Academic Publishers, Dordrecht (2002)"},{"unstructured":"Haxthausen, A.E., Christensen, N., Dyhrberg, R.: From Domain Model to Domain-specific Language for Railway Control Systems. In: Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2004), Braunschweig, Germany (2004)","key":"14_CR20"},{"issue":"8","key":"14_CR21","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1109\/32.879808","volume":"26","author":"A.E. Haxthausen","year":"2000","unstructured":"Haxthausen, A.E., Peleska, J.: Formal Development and Verification of a Distributed Railway Control System. IEEE Transaction on Software Engineering\u00a026(8), 687\u2013701 (2000)","journal-title":"IEEE Transaction on Software Engineering"},{"unstructured":"Haxthausen, A.E., Peleska, J.: Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specifications to Distributed Hybrid Real-Time Systems. In: Forms \u201999 - Formale Techniken f\u00fcr die Eisenbahnsicherung Fortschritt-Berichte VDI, Reihe 12, Nr. 436, pp. 263\u2013271. VDI-Verlag, D\u00fcsseldorf (2000)","key":"14_CR22"},{"unstructured":"Haxthausen, A.E., Peleska, J.: A Domain Specific Language for Railway Control Systems. In: Proceedings of the Sixth Biennial World Conference on Integrated Design and Process Technology (IDPT2002), Pasadena, California, June 23-28 2002 (2002)","key":"14_CR23"},{"key":"14_CR24","volume-title":"Proceedings of the 10th IFAC Symposium on Control in Transportation Systems","author":"A.E. Haxthausen","year":"2003","unstructured":"Haxthausen, A.E., Peleska, J.: Automatic Verification, Validation and Test for Railway Control Systems based on Domain-Specific Descriptions. In: Proceedings of the 10th IFAC Symposium on Control in Transportation Systems, Elsevier, Amsterdam (2003)"},{"unstructured":"Haxthausen, A.E., Peleska, J.: Generation of Executable Railway Control Components from Domain-Specific Descriptions. In: Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS\u20192003), Budapest\/Hungary, May 15-16, 2003, pp. 83\u201390. L\u2019Harmattan Hongrie (2003)","key":"14_CR25"},{"doi-asserted-by":"crossref","unstructured":"Lindegaard, M.P., Viuf, P., Haxthausen, A.E.: Modelling Railway Interlocking Systems. In: Proceedings of the 9th IFAC Symposium on Control in Transportation Systems 2000, Braunschweig, Germany, June 13-15, 2000, pp. 211\u2013217 (2000)","key":"14_CR26","DOI":"10.1016\/S1474-6670(17)38143-0"},{"key":"14_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)"},{"doi-asserted-by":"crossref","unstructured":"Peleska, J., Baer, A., Haxthausen, A.E.: Towards Domain-Specific Formal Specification Languages for Railway Control Systems. In: Proceedings of the 9th IFAC Symposium on Control in Transportation Systems 2000, Braunschweig, Germany, June 13-15, 2000, pp. 147\u2013152 (2000)","key":"14_CR28","DOI":"10.1016\/S1474-6670(17)38134-X"},{"unstructured":"Peleska, J., Gro\u00dfe, D., Haxthausen, A.E., Drechsler, R.: Automated verification for train control systems. In: Schnieder, E., Tarnai, G. (eds.) Proceedings of the FORMS\/FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 252\u2013265. Technical University of Braunschweig (2004), ISBN 3-9803363-8-7","key":"14_CR29"},{"unstructured":"Peleska, J., Haxthausen, A.E.: Object Code Verification for Safety-Critical Railway Control Systems. In: Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2007), Braunschweig, Germany, GZVB e.V. (2007), ISBN 13:978-3-937655-09-3","key":"14_CR30"},{"unstructured":"Peleska, J., Haxthausen, A.E., Kinder, S., Drechsler, R.: Model-driven development and verification in the railway domain (to be submitted, 2007)","key":"14_CR31"},{"issue":"2","key":"14_CR32","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/s100090050027","volume":"2","author":"A. Pnueli","year":"1998","unstructured":"Pnueli, A., Shtrichman, O., Siegel, M.: The code validation tool CVT: Automatic verification of a compilation process. International Journal on Software Tools for Technology Transfer\u00a02(2), 192\u2013201 (1998)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"14_CR33","series-title":"The BCS Practitioners Series","volume-title":"The RAISE Specification Language","author":"The RAISE Language Group","year":"1992","unstructured":"The RAISE Language Group.: The RAISE Specification Language. The BCS Practitioners Series. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"14_CR34","volume-title":"The Unified Modeling Language - Reference Manual","author":"J. Rumbaugh","year":"2004","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language - Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)","edition":"2"},{"unstructured":"Schnieder, E., Tarnai, G.: Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2004), Braunschweig, Germany, (Technical University of Braunschweig (December 2004)","key":"14_CR35"},{"unstructured":"Schnieder, E., Tarnai, G.: Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2007), Braunschweig, Germany. GZVB e.V (2007), ISBN 13:978-3-937655-09-3","key":"14_CR36"},{"unstructured":"Tarnai, G., Schnieder, E.: Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS\u20192003), Budapest. L\u2019Harmattan Hongrie (2003)","key":"14_CR37"},{"unstructured":"XForms 1.0, available under \n                  \n                    http:\/\/www.w3.org\/TR\/xforms","key":"14_CR38"},{"unstructured":"Extensible Markup Language (XML), available under \n                  \n                    http:\/\/www.w3.org\/XML\/","key":"14_CR39"},{"unstructured":"The Extensible Stylesheet Language Family (XSL), available under \n                  \n                    http:\/\/www.w3.org\/Style\/XSL","key":"14_CR40"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Hybrid Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75221-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:56:22Z","timestamp":1619520982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75221-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752202"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75221-9_14","relation":{},"subject":[]}}