@misc{https://doi.org/10.4121/12681368.v2, doi = {10.4121/12681368.v2}, url = {https://data.4tu.nl/articles/dataset/Efficient_RailML_Formalization_of_Railway_Interlocking_Data/12681368/2}, author = {Mark Bosschaart (Delft University of Technology), and Egidio Quaglietta (Delft University of Technology), and Bob Janssen (SIEMENS NL), and Rob M.P. Goverde (Delft University of Technology), }, keywords = {Knowledge-based railway systems, RailML database, Railway interlocking, Simplification of railway engineering processes, UML class diagram, master thesis}, title = {Efficient RailML Formalization of Railway Interlocking Data}, publisher = {TU Delft}, year = {2021}, copyright = {4TU General Terms of Use}, }