Update AvionicsBusManagers.aadl
Merge pull request #5 from Stachelbeck/patch-1

Update AvionicsBusManagers.aadl