Roggenbach, Markus, Faron Moller, Steve Schneider, Helen Treharne, and Hoang Nguyen. 2012. “Railway Modelling in CSP||B: The Double Junction Case Study”. Electronic Communications of the EASST 53 (December). https://doi.org/10.14279/tuj.eceasst.53.791.