This information is part of the Modelica Standard Library maintained by the Modelica Association.

FirstExample

A first simple StateGraph example