Hyperbolic PDE's for CSRL Model Checking: A Deja Vu