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

FirstExample_Variant2

A variant of the first simple StateGraph example