Rational Statemate Overview
IBM® Rational® Statemate® is a high-level graphical development environment that enables systems engineers to design, validate, and simulate models that clearly and precisely represent the intended functions and behavior of the system they are developing.