Үүнийг мессежээр илгээх: Verifying critical cyber-physical systems after deployment