Layered and Collecting NDFS with Subsumption for Parametric Timed Automata | IEEE Conference Publication | IEEE Xplore