Carlo Ghezzi, Amir Molzam Sharifloo. Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking. In Eduardo Santana de Almeida, Tomoji Kishi, Christa Schwanninger, Isabel John, Klaus Schmid, editors, Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. pages 170-174, IEEE, 2011. [doi]
Abstract is missing.