Uniform and scalable sampling of highly configurable systems | Publicación