Conformiq Designer

Conformiq Designer is used in embedded software development to automate testing and speed up development in various industries

Modelio

The open source modeling environment.

Modelio Constellation

Constellation organizes and manages collaborative (distributed) World Wide Modeling projects,

PauWare

PauWare engine is a Java API, i.e., a set of Java classes and interfaces making up an execution engine for State Chart XML (SCXML) and UML State Machine Diagrams