Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking | IEEE Conference Publication | IEEE Xplore