Text this: Formal Modeling and Verification of Cyber-Physical Systems