On modelling and verifying railway interlockings: Tracking train lengths - Phillip James (Science of Computer Programming, 2014)