{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T18:38:36Z","timestamp":1764873516531,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319684987"},{"type":"electronic","value":"9783319684994"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68499-4_7","type":"book-chapter","created":{"date-parts":[[2017,10,18]],"date-time":"2017-10-18T10:35:37Z","timestamp":1508322937000},"page":"99-115","source":"Crossref","is-referenced-by-count":14,"title":["A Domain-Specific Language for Generic Interlocking Models and Their Properties"],"prefix":"10.1007","author":[{"given":"Linh H.","family":"Vu","sequence":"first","affiliation":[]},{"given":"Anne E.","family":"Haxthausen","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,19]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Cao, Y., Xu, T., Tang, T., Wang, H., Zhao, L.: Automatic generation and verification of interlocking tables based on domain specific language for computer based interlocking systems (dsl-cbi). In: Proceedings of the IEEE International Conference on Computer Science and Automation Engineering (CSAE 2011), pp. 511\u2013515. IEEE (2011)","DOI":"10.1109\/CSAE.2011.5952519"},{"key":"7_CR2","unstructured":"CENELEC European Committee for Electrotechnical Standardization: EN 50128: 2011 - Railway applications - Communications, signalling and processing systems - Software for railway control and protection systems (2011)"},{"key":"7_CR3","unstructured":"European Railway Agency: Annex A for ETCS Baseline 3 and GSM-R Baseline 0, April 2012. http:\/\/www.era.europa.eu\/Document-Register\/Pages\/New-Annex-A-for-ETCS-Baseline-3-and-GSM-R-Baseline-0.aspx"},{"issue":"1","key":"7_CR4","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s11334-009-0116-1","volume":"6","author":"HH Hansen","year":"2010","unstructured":"Hansen, H.H., Ketema, J., Luttik, B., Mousavi, M.R., van de Pol, J.: Towards model checking executable UML specifications in mCRL2. Innovations Syst. Softw. Eng. 6(1), 83\u201390 (2010)","journal-title":"Innovations Syst. Softw. Eng."},{"key":"7_CR5","unstructured":"Hansen, J.B.: A formal specification language for generic railway control systems. Master\u2019s thesis, Technical University of Denmark, DTU Compute (2015)"},{"issue":"6","key":"7_CR6","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1007\/s10009-013-0295-9","volume":"16","author":"AE Haxthausen","year":"2014","unstructured":"Haxthausen, A.E.: Automated generation of formal safety conditions from railway interlocking tables. Int. J. Softw. Tools Technol. Transfer (STTT) 16(6), 713\u2013726 (2014). Special Issue on Formal Methods for Railway Control Systems","journal-title":"Int. J. Softw. Tools Technol. Transfer (STTT)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-319-47169-3_19","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"AE Haxthausen","year":"2016","unstructured":"Haxthausen, A.E., \u00d8stergaard, P.H.: On the use of static checking in the verification of interlocking systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 266\u2013278. Springer, Cham (2016). doi: 10.1007\/978-3-319-47169-3_19"},{"issue":"1","key":"7_CR8","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/s11786-014-0174-0","volume":"8","author":"P James","year":"2014","unstructured":"James, P., Roggenbach, M.: Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans. Math. Comput. Sci. 8(1), 11\u201338 (2014)","journal-title":"Math. Comput. Sci."},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"772","DOI":"10.1007\/978-3-319-48989-6_49","volume-title":"FM 2016: Formal Methods","author":"B Luteberget","year":"2016","unstructured":"Luteberget, B., Johansen, C., Feyling, C., Steffen, M.: Rule-based incremental verification tools applied to railway designs and regulations. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 772\u2013778. Springer, Cham (2016). doi: 10.1007\/978-3-319-48989-6_49"},{"key":"7_CR10","volume-title":"Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation","author":"K Mewes","year":"2010","unstructured":"Mewes, K.: Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation. Verlag Dr. Hut, M\u00fcnchen (2010)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Peleska, J.: Industrial-strength model-based testing - state of the art and current challenges. In: Petrenko, A.K., Schlingloff, H. (eds.) Proceedings 8th Workshop on Model-Based Testing, Rome, Italy. Electronic Proceedings in Theoretical Computer Science, vol. 111, pp. 3\u201328. Open Publishing Association (2013)","DOI":"10.4204\/EPTCS.111.1"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Peleska, J., Baer, A., Haxthausen, A.E.: Towards domain-specific formal specification languages for railway control systems. In: Schnieder, E., Becker, U. (eds.) Proceedings of the 9th IFAC Symposium on Control in Transportation Systems 2000, 13\u201315 June 2000, Braunschweig, Germany, pp. 147\u2013152 (2000)","DOI":"10.1016\/S1474-6670(17)38134-X"},{"key":"7_CR13","unstructured":"Verified Systems International GmbH: RT-Tester Model-Based Test Case and Test Data Generator - RTT-MBT - User Manual (2013). http:\/\/www.verified.de"},{"key":"7_CR14","unstructured":"Vu, L.H., Haxthausen, A.E., Peleska, J.: A domain-specific language for railway interlocking systems. In: Schnieder, E., Tarnai, G. (eds.) FORMS\/FORMAT 2014 \u2013 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 200\u2013209. Technische Universit\u00e4t Braunschweig, Institute for Traffic Safety and Automation Engineering (2014)"},{"key":"7_CR15","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-319-17581-2_15","volume-title":"Formal Techniques for Safety-Critical Systems","author":"LH Vu","year":"2015","unstructured":"Vu, L.H., Haxthausen, A.E., Peleska, J.: Formal modeling and verification of interlocking systems featuring sequential release. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2014. CCIS, vol. 476, pp. 223\u2013238. Springer, Cham (2015). doi: 10.1007\/978-3-319-17581-2_15"},{"key":"7_CR16","unstructured":"Vu, L.H.: Formal development and verification of railway control systems - in the context of ERTMS\/ETCS Level 2. Ph.D. thesis, Technical University of Denmark, DTU Compute (2015)"},{"issue":"Part 2","key":"7_CR17","first-page":"91","volume":"133","author":"LH Vu","year":"2017","unstructured":"Vu, L.H., Haxthausen, A.E., Peleska, J.: Formal modelling and verification of interlocking systems featuring sequential release. Sci. Comput. Program. 133(Part 2), 91\u2013115 (2017). http:\/\/dx.doi.org\/10.1016\/j.scico.2016.05.010","journal-title":"Sci. Comput. Program."},{"key":"7_CR18","unstructured":"Winter, K., Robinson, N.J.: Modelling large railway interlockings and model checking small ones. In: Proceedings of the 26th Australasian Computer Science Conference, ACSC 2003, vol. 16, pp. 309\u2013316. Australian Computer Society, Inc., Darlinghurst (2003)"}],"container-title":["Lecture Notes in Computer Science","Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68499-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T15:09:27Z","timestamp":1750950567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68499-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319684987","9783319684994"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68499-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}