Kovács, L., & 		Semeráth, O.
2021 nov 22.  Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles. Anais do Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS). [Online] :