O’Halloran, C. Verifying Critical Cyber-Physical Systems After Deployment. ECEASST 2015, 72.