Update AvionicsBusManagers.aadl

Updated model to reflect latest example changes