Text this: Formal Foundations of Reuse and Domain Engineering