Formal Foundations of Reuse and Domain Engineering (Springer Berlin Heidelberg, 2020)