Reactis® is packaged for use as a plug-in with the popular Simulink and Stateflow modeling and simulation environments produced and marketed by The MathWorks, Inc. Reactis supports a fairly comprehensive subset of the discrete-time Simulink blocks and almost all of Stateflow. Please see the Reactis User's Guide for details.