Update MissionBus0.aadl