Automated Verification of Signalling Principles in Railway Interlocking Systems. - Karim Kanso; Faron Moller; Anton Setzer (AVoCS, 2008)

Agda as a platform for the development of verified railway interlocking systems. - Karim Kanso (2012)

Verification of Solid State Interlocking Programs. - Phillip James; Andy Lawrence; Faron Moller; Markus Roggenbach; Monika Seisenberger; Anton Setzer; Karim Kanso; Simon Chadwick (SEFM Workshops, 2013)

A light-weight integration of automated and interactive theorem proving. - Karim Kanso; Anton Setzer (Math. Struct. Comput. Sci., 2016)