Retraction notice to ‘‘Specification and Verification of Dynamic Evolution of Software Architectures” [SYSARC 56 (10) (2010) 523–533] - Retraction Notice | RetractBase