User-driven diverse scenario exploration in model finders | Publicación