for Probabilistic Timed Reachability -- Intersection of Regular Signal-Event (Timed)