Sven Apel Florian Janda Salvador Trujillo Christian Kästner Model Superimposition in Software Product Lines. 4-19 2009 ICMT http://dx.doi.org/10.1007/978-3-642-02408-5_2 conf/icmt/2009 db/conf/icmt/icmt2009.html#ApelJTK09