A Tool System for Automatic Scheduling of Data Exchange in Real-Time Distributed Avionics Systemsстатья