A Counterfactual Semantics for Hybrid Dynamical Systems | Read Paper on Bytez