Update AvionicsBusManagers.aadl