इसका टेक्स्ट मैसेज भेजे: Verifying critical cyber-physical systems after deployment