… tailored to specific requirements from a common set of artifacts. Superimposition … superimposition as a model composition technique in order to support variability. We analyze the feasibility of superimposition as a model composition technique …
In Proceedings of the Second International Conference on Model Transformation (ICMT). 2009: [doi]… S2 TL;DR: The possibilities of superimposed languages, automatic theorem proving, and extensions of Automath are described in this chapter. …
Studies in logic and the foundations of mathematics, 133:73-100, 1970. [doi]