Information Flow Analysis of Combined Simulink/Stateflow Models | IEEE Conference Publication | IEEE Xplore