Verbundprojekt openETCS: Entwicklung und Implementation des open Proofs-Konzeptes für das Europäische Signal- und Zugsicherungssystems ETCS