Quality Modeling for Software Product Lines