Verifiable COTS-based cyber-physical systems