Mohammed Salifu Bashar Nuseibeh Lucia Rapanotti Thein Than Tun Using Problem Descriptions to Represent Variabilities For Context-Aware Applications. 149-156 2007 VaMoS http://www.vamos-workshop.net/proceedings/VaMoS_2007_Proceedings.pdf conf/vamos/2007 db/conf/vamos/vamos2007.html#SalifuNRT07