Roggenbach, M.; Moller, F.; Schneider, S.; Treharne, H.; Nguyen, H. Railway Modelling in CSP||B: The Double Junction Case Study. ECEASST 2012, 53.