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