Architecture Reconfiguration in Pervasive Environment: An AADL-based Approach | IEEE Conference Publication | IEEE Xplore