Dynamic reconfiguration of component-based systems described by propositional configuration logic. - George Rahonis; Melpomeni Soula (CoRR, 2023)