Text this: Formal Verification of Spatio-Temporal Rules Guided Safe Reinforcement Learning for CPS