A Modeling Environment for Product Configuration : confidential