On the Definition of Requirements for a Digital Twin. A Case Study of Rolling Stock Assets | Publicación