Text this: MULTIGRAPH IS: Part 2. VERIFICATION OF THE DIGITAL TWIN OF THE EUROPEAN TRAIN CONTROL SYSTEM APPLICATION