model Main(simulator) =
initially
  x = 10,
  x' = 0,
  g = -9.8,
  c = 0.8
always
  x'' = g
  if x <= 0 then
    x' := -c * x'
  end
end