Search-based test case generation for Cyber-Physical Systems | Publicación