Evaluation of air traffic management procedures—safety assessment in an experimental environment