On the Expressive Power of Invariants in Parametric Timed Automata | IEEE Conference Publication | IEEE Xplore