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

FirstExample_Variant3

A variant of the first simple StateGraph example