Simulink+Stateflow+Scade+DMR+Xplane