Text this: System-Level Design, Modeling, and Verification of GALS Cyber-Physical Systems