Requirement engineering activities in smart environments for large facilities | Publicación