Automatic Derivation of a Product Performance Model from a Software Product Line Model | IEEE Conference Publication | IEEE Xplore