Research on the assessment Method for the safety of Flight Procedure based on Time-space Diagram | IEEE Conference Publication | IEEE Xplore