@article{10.1109/SPLC.2011.33,
author = {Carlo Ghezzi, and Amir Molzam Sharifloo, },
title = {Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking},
journal = {Software Product Line Conference, International},
volume = {00},
number = {},
issn = {},
year = {2011},
pages = {170-174},
doi = {doi.ieeecomputersociety.org/10.1109/SPLC.2011.33},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}