M. Roggenbach, F. Moller, S. Schneider, H. Treharne, and H. Nguyen, “Railway modelling in CSP||B: the double junction case study”, ECEASST, vol. 53, Dec. 2012.