Update and rename EWBus.aadl to BusMgr.aadl