Falls Church, VA (May 3, 2002) -- Reactive Systems, Inc. (RSI) announces that documentation for Reactis Tester and Reactis Simulator is now available on line at the reactive-systems.com. A brochure as well as the Reactis User's Guide are available in pdf and html format. Reactis enables users to deploy model-based software testing to dramatically reduce the costs of testing embedded software. The tools are designed for use in conjunction with the Simulink® and Stateflow® modeling and simulation environments offered by The MathWorks, Inc. RSI plans a June 3 release of both products.