Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes | IEEE Journals & Magazine | IEEE Xplore