RETRACTED: Specification and verification of dynamic evolution of software architectures - Retracted Article | RetractBase