Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study - Tatiana Liakh; Andrei Rozov; Vladimir Zyubin; Sergey Staroletov; Thomas Baar; Horst Schulte; Ivan Konyukhov; Nikolay Shilov (Annals of computer science and information systems)