Techniques for modelling and verifying railway interlockings

Phillip James, Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, Steve A. Schneider, Helen Treharne. Techniques for modelling and verifying railway interlockings. STTT, 16(6):685-711, 2014. [doi]

Abstract

Abstract is missing.