Guaranteeing Timed Opacity using Parametric Timed Model Checking