Multi-Model Heterogeneous Verification of Cyber-Physical Systems