Modelling Communication Based Train Control System for Dependability Analysis of the LTE Communication Network in Train Control Application | IEEE Conference Publication | IEEE Xplore