Constraint-based configuration of embedded automotive software. (21st December 2010)