Stefan Engels, Tom Peham, Robert Wille: A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy. ATMOS 2023: 6:1-6:17