Safety assessment of a single runway arrival procedure for aircraft equipped with a wake vortex detection, warning and avoidance system