Model-Based Automated and Guided Configuration of Embedded Software Systems