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