Simulation based formal verification of cyber-physical systems