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