Formalised natural language description of scenarios for automated driving systems. Specification. (30th September 2023)