Nguyen, H., James, P., Moller, F., Nguyen, H. N., Roggenbach, M., Schneider, S., & Treharne, H. (2014). Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer, 16(6), pp. 685-711. doi:10.1007/s10009-014-0304-7

Nguyen, Hoang, Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, and Helen Treharne. "Techniques for Modelling and Verifying Railway Interlockings." International Journal On Software Tools for Technology Transfer 16, no. 6 (2014): 685-711.

Nguyen, Hoang, et al. "Techniques for Modelling and Verifying Railway Interlockings." International Journal On Software Tools for Technology Transfer 16.6 (2014): 685-711.