Specification and automated validation of staged reconfiguration processes for dynamic software product lines. - Malte Lochau; Johannes Bürdek; Stefan Hölzle; Andy Schürr (Softw. Syst. Model., 2017)