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.