Describir: Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions