_id,doi,title
8750,10.1109/MEMOCODE51338.2020.9314994,Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions