Text this: Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study