Feature-oriented contract composition. - Thomas Thüm; Alexander Knüppel; Stefan Krüger; Stefanie Bolle; Ina Schaefer (J. Syst. Softw., 2019)