@inproceedings{bbff5f3ef3b94f05848e310cee446128,
title = "Formal Methods in Railway Signalling Infrastructure Standardisation Processes",
author = "Bouwman, {Mark S.} and Luttik, {S.P. (Bas)} and Arend Rensink and M.I.A. Stoelinga and {van der Wal}, Djurre",
year = "2021",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature Switzerland AG",
number = "13036",
pages = "500--501",
editor = "T. Margaria and B. Steffen",
booktitle = "Proceedings of ISoLA 2021",
}