Verification of the European Rail Traffic Management System in Real-Time Maude - Ulrich Berger (Science of Computer Programming, 2018)