James, P., Moller, F., Nguyen, H. N., Roggenbach, M., Schneider, S., & Treharne, H. (2014). On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming, 96, pp. 315-336. doi:10.1016/j.scico.2014.04.005

James, Phillip, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, and Helen Treharne. "On Modelling and Verifying Railway Interlockings: Tracking Train Lengths." Science of Computer Programming 96 (2014): 315-336.

James, Phillip, et al. "On Modelling and Verifying Railway Interlockings: Tracking Train Lengths." Science of Computer Programming 96 (2014): 315-336.