_id,doi,title 663,10.1145/3049797.3049814,Safety verification of nonlinear hybrid systems based on invariant clusters