Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments | IEEE Conference Publication | IEEE Xplore