Text this: Real-Time Verification for Distributed Cyber-Physical Systems