_id,doi,title
1103,10.1109/MEMCOD.2016.7797741,Parallel reachability analysis for hybrid systems