Analysis of Safe and Effective Next-Generation Rail Signalling Systems using a FTA-SAN Approach