Guided Interactive Configuration of Embedded Software Systems Using Constraint Satisfaction over Finite Domains