Formalization of Interstate Traffic Rules in Temporal Logic. - Sebastian Maierhofer; Anna-Katharina Rettinger; Eva Charlotte Mayer; Matthias Althoff (IV, 2020)