Enviar aquest missatge de text: Verifying critical cyber-physical systems after deployment