Temporal Reasoning for Intuitive Specification of Context-Awareness | Publicación