DirectDebug: A software package for the automated testing and debugging of feature models | Publicación