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