Model-based software configuration: patterns and languages · Study