Strategic (Timed) Computation Tree Logic