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