James, P., Lawrence, A., Moller, F., Roggenbach, M., Seisenberger, M., Setzer, A., . . . Chadwick, S. (2014). Verification of Solid State Interlocking Programs. Software Engineering and Formal Methods, 8368, pp. -268. doi:10.1007/978-3-319-05032-4_19

James, Phillip, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, and Simon Chadwick. "Verification of Solid State Interlocking Programs." Software Engineering and Formal Methods 8368 (2014): -268.

James, Phillip, et al. "Verification of Solid State Interlocking Programs." Software Engineering and Formal Methods 8368 (2014): -268.