A Method of Analysis Integrating HCR and ETA Modeling for Determining Risks Associated with Inadequate Flight Separation Events · Study