This Continuous Time model uses a Finite State Machine and the GR domain to simulate a bouncing ball.
An alternative definition uses Vergil, the Ptolemy II schematic editor.