Carlo Ghezzi, Amir Molzam Sharifloo, "Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking", Software Product Line Conference, International vol. 00 no. , p. 170-174, , 2011