Roggenbach, M., Moller, F., Schneider, S., Treharne, H., & Nguyen, H. (2012). Railway modelling in CSP||B: the double junction case study. Electronic Communications of the EASST, 53. https://doi.org/10.14279/tuj.eceasst.53.791