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