Variability encoding: From compile-time to load-time variability - von Rhein, Alexander; Thüm, Thomas; Schaefer, Ina; Liebig, Jörg; Apel, Sven (Journal of logical and algebraic methods in programming, 2016)