Algorithm-based Transformation of Customer Requirements into Product Properties