Modeling and “smart” prototyping human-in-the-loop interactions for AmI environments | Publicación