Engineering human-in-the-loop interactions in cyber-physical systems | Publicación