_id,doi,title 6894,10.15479/AT:ISTA:6894,Automatic time-unbounded reachability analysis of hybrid systems