L. Kovács and O. Semeráth.
" Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles", in <em>Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems</em>, Florianópolis, 2021.