On modelling and verifying railway interlockings: Tracking train lengths

Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne. On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming, 96:315-336, 2014. [doi]

Abstract

Abstract is missing.