The following publications are possibly variants of this publication:
- Agda as a platform for the development of verified railway interlocking systemsKarim Kanso. PhD thesis, Swansea University, UK, 2012. [doi]
- Techniques for modelling and verifying railway interlockingsPhillip James, Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, Steve A. Schneider, Helen Treharne. STTT, 16(6):685-711, 2014. [doi]