Relationships Formalization for Model-Based Product Lines