Search-based test case selection of cyber-physical system product lines for simulation-based validation | Publicación