Formal Foundations of Reuse and Domain Engineering