Counting Implementations -- Hybrid Systems -- Falsification of LTL Safety Properties in