You are about to access our book library "Aircraft Trajectory Modeling and Alerting Algorithm Verification full version" .