Visible to the public Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems