Berger, U., James, P., Lawrence, A., Roggenbach, M., & Seisenberger, M. (2018). Verification of the European Rail Traffic Management System in Real-Time Maude. Science of Computer Programming, 154, pp. 61-88. doi:10.1016/j.scico.2017.10.011

Berger, Ulrich, Phillip James, Andrew Lawrence, Markus Roggenbach, and Monika Seisenberger. "Verification of the European Rail Traffic Management System in Real-Time Maude." Science of Computer Programming 154 (2018): 61-88.

Berger, Ulrich, et al. "Verification of the European Rail Traffic Management System in Real-Time Maude." Science of Computer Programming 154 (2018): 61-88.