Parametric non-interference in timed automata. - Étienne André; Aleksander Kryukov (ICECCS, 2020)