A constraint-based language for modelling intelligent environments | Publicación