A Software Product Line Approach for End User Development of Smart Spaces | IEEE Conference Publication | IEEE Xplore