Describing products as executable programs: Variant specification in a customer-oriented environment · Study