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