Employing multi-objective search to enhance reactive test generation and prioritization for testing industrial cyber-physical systems | Publicación