Văn bản này: Verifying critical cyber-physical systems after deployment