Reactis® processes models in the popular Simulink/Stateflow modeling notation of MathWorks. Reactis supports a fairly comprehensive subset of the discrete-time Simulink blocks and almost all of Stateflow. When using the Reactis for C Plugin, you can also simulate and test the C code found in C Caller blocks, S-Functions, or Stateflow custom code. Please see the Reactis User's Guide for a complete description of the subset of Simulink/Stateflow that is supported.