Roggenbach M, Moller F, Schneider S, Treharne H, Nguyen H. Railway modelling in CSP||B: the double junction case study. ECEASST [Internet]. 2012 Dec. 16 [cited 2025 Aug. 1];53. Available from: https://www.eceasst.org/index.php/eceasst/article/view/2000