Registre de correu electrònic: A Virtually Coupled Train Control Model Under Allowable Safe Distance Range Based on Vehicle‐Following Approach With Operational Hazard Analysis and the Labelled Transition System