benchmark, component-based, hybrid games, hybrid systems, nonlinear continuous systems, Performance, theorem proving, verification.