Reasoning Functional Requirements for Virtually Coupled Train Sets: Communication | IEEE Journals & Magazine | IEEE Xplore