The paper entitled Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey has been accepted for publication in ACM computing surveys 2023.