Automated Repair of Cyber-Physical Systems | Publicación