Improving HyLTL model checking of hybrid systems