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