great GiAN (Global Initiative of Academic Networks) course on "Modeling and Verification of Cyber-Physical Systems"