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