This Continuous Time model uses a Finite State Machine and the GR domain to simulate a bouncing ball.
BouncingBall is available as: