Critical states detection with bounded probability of false alarm and application to air traffic management