Efficient interactive configuration of unbounded modular systems