Combining System Introspection with User-Provided Description to Support Configuration and Understanding of Pervasive systems | IEEE Conference Publication | IEEE Xplore