The development and verification of distributed real time embedded computer systems for avionics (Project DrTesy)тезисы доклада