Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda. Towards Automatic Design and Verification for Level 3 of the European Train Control System. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021. pages 974-979, IEEE, 2021. [doi]
Abstract is missing.