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