Model: Modelica.Electrical.Digital.Examples.Counter Time: 1.511 s Success: true