Return to Article Details Verifying Critical Cyber-Physical Systems After Deployment Download Download PDF