Temporal Reasoning for Intuitive Specification of Context-Awareness | IEEE Conference Publication | IEEE Xplore