A toolchain for delta-oriented modeling of software product lines