Formalizing product model transformations: Case examples and applications · Study