Update and rename MissionBus2.aadl to RTBusMgr2.aadl