4D Trajectory De-Confliction For Future ATM By Applying Constraints