University of Surrey Department of Computing Computing Sciences Report CS-12-03 CSP||B modelling for railway verification: the Double Junction case study Faron Moller Hoang Nga Nguyen Markus Roggenbach Steve Schneider Helen Treharne March 30th 2012