{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T11:27:15Z","timestamp":1768562835584,"version":"3.49.0"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100010253","name":"Secretar\u00eda de Ciencia y T\u00e9cnica, Universidad de Buenos Aires","doi-asserted-by":"publisher","award":["20020190100321BA"],"award-info":[{"award-number":["20020190100321BA"]}],"id":[{"id":"10.13039\/501100010253","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Universidad de Buenos Aires, secretar\u00eda de Ciencia y T\u00e9cnica","award":["20020190100321BA"],"award-info":[{"award-number":["20020190100321BA"]}]},{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET) through Doctoral Scholarship","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2024,3]]},"DOI":"10.1109\/tits.2023.3317256","type":"journal-article","created":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T17:43:13Z","timestamp":1695836593000},"page":"2331-2341","source":"Crossref","is-referenced-by-count":4,"title":["Automatic Railway Signaling Generation for Railways Systems Described on Railway Markup Language (railML)"],"prefix":"10.1109","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8101-8699","authenticated-orcid":false,"given":"Mart\u00edn Nicol\u00e1s","family":"Men\u00e9ndez","sequence":"first","affiliation":[{"name":"Laboratorio de Sistemas Embebidos, CONICET-GICSAFe, Facultad de Ingeniería, Universidad de Buenos Aires, Buenos Aires, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9804-177X","authenticated-orcid":false,"given":"Santiago","family":"Germino","sequence":"additional","affiliation":[{"name":"Laboratorio de Sistemas Embebidos, CONICET-GICSAFe, Facultad de Ingeniería, Universidad de Buenos Aires, Buenos Aires, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9613-6364","authenticated-orcid":false,"given":"Luis David","family":"D\u00edaz-Charris","sequence":"additional","affiliation":[{"name":"Laboratorio de Sistemas Embebidos, CONICET-GICSAFe, Facultad de Ingeniería, Universidad de Buenos Aires, Buenos Aires, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3626-7941","authenticated-orcid":false,"given":"Ariel","family":"Lutenberg","sequence":"additional","affiliation":[{"name":"Laboratorio de Sistemas Embebidos, CONICET-GICSAFe, Facultad de Ingeniería, Universidad de Buenos Aires, Buenos Aires, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Interlocking Principles (Former Railway Group Standard GK\/RT0060)","year":"2015"},{"key":"ref2","volume-title":"Interlocking, Back to Basic","author":"How","year":"2022"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3341016.3341017"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/hase.2016.44"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/wdts-rasd.2012.11"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3182\/20120912-3-bg-2031.00035"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/icmech.2011.5971206"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-013-0295-9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3182\/20120912-3-bg-2031.00034"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.5755\/j01.itc.44.1.7382"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2011.575475"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2020.2993794"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/COMTECH.2019.8737833"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/EUROCON.2015.7313752"},{"key":"ref15","first-page":"1","article-title":"Automatic model-based verification of railway interlocking systems using model checking","volume-title":"Proc. ESREL","author":"Gonschorek"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3390\/su13031394"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.04.003"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-18744-6_15","article-title":"Survey on formal methods and tools in railways: The ASTRail approach","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","volume":"11495","author":"Ferrari","year":"2019"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1155\/2018\/4982974"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICIRT.2018.8641579"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3520480"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-33951-1_9","article-title":"Static verification of railway schema and interlocking design data","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","volume":"9707","author":"Iliasov","year":"2016"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.184.2"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810312"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-58298-2_8","article-title":"The first twenty-five years of industrial use of the B-method","volume-title":"Formal Methods for Industrial Critical Systems","volume":"12327","author":"Butler","year":"2020"},{"issue":"5","key":"ref26","first-page":"619","article-title":"Formal methods: Theory becoming practice","volume":"13","author":"Abrial","year":"2007","journal-title":"J. Universal Comput. Sci."},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3124677"},{"key":"ref28","first-page":"62","article-title":"Comparing formal tools for system design: A judgment study","volume-title":"Proc. IEEE\/ACM 42nd Int. Conf. Softw. Eng. (ICSE)","author":"Ferrari"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2004.1333312"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1504\/IJES.2021.121088"},{"key":"ref31","volume-title":"Home\u2014Railml.org","year":"2022"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2014.11.007"},{"key":"ref33","first-page":"254","article-title":"Towards modelling and standardisation techniques for railway infrastructure","volume-title":"Proc. 14th IFIP Int. Conf. Product Lifecycle Manag. (PLM)","author":"Zheng"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.14311\/app.2017.11.0016"},{"key":"ref35","volume-title":"Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems\u2014Part 7: Overview of Techniques and Measures","year":"2010"},{"key":"ref36","volume-title":"Rail Signalling Principles for Light Rail Networks","year":"2022"},{"key":"ref37","volume-title":"Fundamental Requirements for Train Control Systems","year":"2022"},{"key":"ref38","volume-title":"Signalling Principles","year":"2022"},{"key":"ref39","volume-title":"RailML 3.1 Common","year":"2022"},{"key":"ref40","volume-title":"RailML 3.1 Infrastructure","year":"2022"},{"key":"ref41","volume-title":"RailML 3.1 Interlocking","year":"2022"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2013.09.019"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(97)00093-1"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.055"},{"key":"ref45","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-49646-7_23","article-title":"EURIS, a specification method for distributed interlockings","volume-title":"Computer Safety, Reliability and Security","volume":"1516","author":"van Dijk","year":"1998"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/HOL.1991.596304"},{"key":"ref47","volume-title":"Railway Infrastructure and Layour Aided Designer","year":"2022"},{"key":"ref48","volume-title":"Layouts Analyzed With RNA","author":"Men\u00e9ndez","year":"2022"},{"key":"ref49","volume-title":"Trenes Argentinos. (Spanish) [Argentinian Trains]","year":"2023"},{"key":"ref50","volume-title":"Interview With Trenes Argentinos","year":"2023"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/les.2022.3221810"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979\/10505030\/10265756.pdf?arnumber=10265756","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T18:48:37Z","timestamp":1719341317000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10265756\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3]]},"references-count":51,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tits.2023.3317256","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3]]}}}