An Ontology-Based Approach to Model-Driven Software Product Lines
on the unification power of models .