Simulation based validation of a mixed-integer optimal control algorithm for conflict detection and resolution using TAAM software | Publicación