A Domain-Specific Language for the Specification of Adaptable Context Inference | IEEE Conference Publication | IEEE Xplore