Consistency in Parametric Interval Probabilistic Timed Automata | IEEE Conference Publication | IEEE Xplore