{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:56:08Z","timestamp":1742914568674,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540690955"},{"type":"electronic","value":"9783540691006"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69100-6_24","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T09:27:49Z","timestamp":1212658069000},"page":"349-360","source":"Crossref","is-referenced-by-count":6,"title":["Model-Based Generation of Interlocking Controller Software from Control Tables"],"prefix":"10.1007","author":[{"given":"C\u00e9dric","family":"Chevillat","sequence":"first","affiliation":[]},{"given":"David","family":"Carrington","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Strooper","sequence":"additional","affiliation":[]},{"given":"J\u00f6rn Guy","family":"S\u00fc\u00df","sequence":"additional","affiliation":[]},{"given":"Luke","family":"Wildman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Lecomte, T., Servat, T., Pouzancre, G.: Formal methods in safety-critical railway systems. In: Proc. Brazilian Symposium on Formal Methods: SMBF 2007 (2007)"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1007\/11557432_36","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Baker","year":"2005","unstructured":"Baker, P., Loh, S., Weil, F.: Model-driven engineering in a large industrial context - Motorola case study. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 476\u2013491. Springer, Heidelberg (2005)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Bayley, C.: Modelling interlocking systems with UML. In: The IEE Seminar on Railway System Modelling - Not Just for Fun, September 30, 2004, pp. 8\u201318 (2004)","DOI":"10.1049\/ic:20040512"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/298595.298597","volume-title":"FMSP 1998: Proc. the second workshop on Formal methods in software practice","author":"J.L. Petersen","year":"1998","unstructured":"Petersen, J.L.: Automatic verification of railway interlocking systems: a case study. In: FMSP 1998: Proc. the second workshop on Formal methods in software practice, pp. 1\u20136. ACM, New York (1998)"},{"key":"24_CR5","unstructured":"Winter, K., Robinson, N.J.: Modelling large railway interlockings and model checking small ones. In: ACSC 2003: Proc. the 26th Australasian computer science conference, pp. 309\u2013316. Australian Computer Society, Inc. (2003)"},{"issue":"4","key":"24_CR6","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/s001650050021","volume":"10","author":"A. Bor\u00e4lv","year":"1998","unstructured":"Bor\u00e4lv, A.: Case study: Formal verification of a computerized railway interlocking. Formal Asp. Comput.\u00a010(4), 338\u2013360 (1998)","journal-title":"Formal Asp. Comput."},{"issue":"1","key":"24_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0167-6423(99)00016-7","volume":"36","author":"V. Hartonas-Garmhausen","year":"2000","unstructured":"Hartonas-Garmhausen, V., Campos, S.V.A., Cimatti, A., Clarke, E.M., Giunchiglia, F.: Verification of a safety-critical railway interlocking system with real-time constraints. Sci. Comput. Program.\u00a036(1), 53\u201364 (2000)","journal-title":"Sci. Comput. Program."},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-540-27863-4_11","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"K. R\u00e1stocn\u00fd","year":"2004","unstructured":"R\u00e1stocn\u00fd, K., Janota, A., Zahradn\u00edk, J.: The use of UML for development of a railway interlocking system. 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. 174\u2013198. Springer, Heidelberg (2004)"},{"key":"24_CR9","unstructured":"Hon, Y.M., Kollmann, M.: Simulation and verification of UML-based railway interlocking designs. In: Automatic Verification of Critical Systems, INRIA, pp. 168\u2013172 (2006)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/978-3-540-75101-4_41","volume-title":"Computer Safety, Reliability, and Security","author":"I. Majzik","year":"2007","unstructured":"Majzik, I., Micskei, Z., Pint\u00e9r, G.: Development of model based tools to support the design of railway control applications. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol.\u00a04680, pp. 430\u2013435. Springer, Heidelberg (2007)"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/11663430_15","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"M. Lawley","year":"2006","unstructured":"Lawley, M., Steel, J.: Practical declarative model transformation with tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 139\u2013150. Springer, Heidelberg (2006)"},{"issue":"4","key":"24_CR12","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2006.12.027","volume":"174","author":"L. van den Berg","year":"2007","unstructured":"van den Berg, L., Strooper, P., Johnston, W.: An automated approach for the interpretation of counter-examples. Electron. Notes Theor. Comput. Sci.\u00a0174(4), 19\u201335 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture \u2013 Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69100-6_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T05:05:59Z","timestamp":1715058359000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-69100-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540690955","9783540691006"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69100-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}