Design of a Cooperative Problem-Solving System for En-Route Flight Planning: An Empirical Evaluation | Synapse