Update and rename EWBus.aadl to BusMgr.aadl

Changed model to reflect new example