Algorithms for control of arrival and departure traffic in terminal airspace
On a dimensionless alternative to the ICAO target level of safety