Design and implementation of a safety-critical domain specific language for on-board train control. - Alexandre Betis; Clément Dransart; Christophe Lechevalier; Jérôme Magouet; Patrick Viry; Insa Fuhrmann; Johannes Meier (FDL, 2025)