Model Checking Timed Hyperproperties in Discrete-Time Systems | Publicación