Techniques for modelling and verifying railway interlockings (2014)

by P James, F Moller, H Nguyen, M Roggenbach, S Schneider, H Treharne
Venue:Int. J. Softw. Tools Technol. Transf