Describir: Real-time komunikačný model avionického systému