Software Product Lines

Online Appendix for SPLC'20 submission "Consistency-Preserving Evolution Planning on Feature Models" by A. Hoff, M. Nieke, C. Seidl, E. H. Sæther, I. S. Motzfeldt, C. Chang Din, I. Chieh Yu, and I. Schaefer.