Visible to the public POSTER: Methods and Tools for the Verification of Cyber-Physical Systems