Text this: Distributed problem solving for air fleet control :