Étienne André, Jun Sun: Parametric Timed Model Checking for Guaranteeing Timed Opacity. ATVA 2019: 115-130